Exemplaric Expressivity of Modal Logics (2008)

Cached

Download Links

by Bart Jacobs , Ana Sokolova
Citations:3 - 0 self

Active Bibliography

Table of Contents General Information 1 Editor’s Letter — Ross – unknown authors
Coalgebras, Stone Duality, Modal Logic – Alexander Kurz - 2006
Coalgebras and Their Logics 1 – Riccardo Pucella, Alexander Kurz - 2006
3 Functorial coalgebraic logic: The case of many-sorted varieties – Alexander Kurz
2 Completeness of the finitary Moss logic – Clemens Kupke, Er Kurz, Yde Venema
Address for Correspondence: – Lutz Schröder, Dfki-lab Bremen, Lutz Schröder
14 Rank-1 modal logics are coalgebraic – Lutz Schröder, Dirk Pattinson - 2007
24 A Finite Model Construction For Coalgebraic Modal Logic – Lutz Schröder
1 Equational Coalgebraic Logic – Alexander Kurz, Raul Leal - 2009
13 Ultrafilter extensions for coalgebras – C. Kupke, A. Kurz, D. Pattinson - 2005
10 Coalgebraic modal logic beyond Sets – Bartek Klin - 2007
22 Modular construction of modal logics – Corina Cîrstea, Dirk Pattinson - 2004
1 PSPACE bounds for rank 1 modal logics – Lutz Schr Öder, Dirk Pattinson - 2006
26 PSPACE bounds for rank 1 modal logics – Lutz Schröder, Dirk Pattinson - 2006
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
15 Non-Deterministic Kleene Coalgebras – Alexandra Silva, Marcello Bonsangue, Jan Rutten
3 Structural Operational Semantics and Modal Logic, Revisited – Bartek Klin
6 Stone coalgebras – Clemens Kupke, Alexander Kurz, Yde Venema - 2003
COALA: Coalgebraic Logics and Applications – Dirk Pattinson - 2008