ICIS Technical Reports:


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 ]