PMS

This is the central portal to the iCIS Publication Management System (PMS).
About a decade ago it was intended to be the only system for keeping track of publications by iCIS members. In particular, it was the dedicated system for creating new technical reports.
However, this system has been abandoned and is only kept available for retrieving old publications.

Apart from security updates in the underlying framework, it is not supported anymore.
If you have questions about it, please contact Engelbert Hubbers.

ICIS Technical Reports:


2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987

2014

[All BiBTeX entries for this year]

H.H. Hansen, C. Kupke, and R.A. Leal. Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics. Technical report: ICIS-R14001, August, Radboud University Nijmegen, 2014.

We present a (co)algebraic treatment of iteration-free dynamic modal logics such as Propositional Dynamic Logic (PDL) and Game Logic (GL), both without star. The main observation is that the program/game constructs of PDL/GL arise from monad structure, and the axioms of these logics correspond to certain compatibilty requirements between the modalities and this monad structure. Our main contribution is a general soundness and strong completeness result for PDL-like logics for T -coalgebras where T is a monad and the program constructs are given by sequential composition, test, and pointwise extensions of operations of T.

[ PDF ] [ Bibtex ]