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.

Intelligent Systems (IS) Research Publications


2014 2013 2009 2008

Reports

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 ]