Expressivity of coalgebraic modal logic: The limits and beyond (2005)

by Lutz Schröder
Venue:IN FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, VOLUME 3441 OF LNCS
Citations:39 - 13 self

Active Bibliography

26 PSPACE bounds for rank 1 modal logics – Lutz Schröder, Dirk Pattinson - 2006
24 A Finite Model Construction For Coalgebraic Modal Logic – Lutz Schröder
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
1 PSPACE bounds for rank 1 modal logics – Lutz Schr Öder, Dirk Pattinson - 2006
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
19 Algebraic-coalgebraic specification in CoCasl – Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder - 2006
16 Modular algorithms for heterogeneous modal logics – Lutz Schröder, Dirk Pattinson - 2007
7 Beyond rank 1: Algebraic semantics and finite models for coalgebraic logics – Dirk Pattinson, Lutz Schröder - 2008
1 Equational Coalgebraic Logic – Alexander Kurz, Raul Leal - 2009
8 The least fibred lifting and the expressivity of coalgebraic modal logic – Bartek Klin - 2005
unknown title – Lutz Schröder, Dirk Pattinson - 2008
PSPACE – Lutz Schröder, Dirk Pattinson - 2008
UNIVERSAL COALGEBRAS AND THEIR LOGICS – H. Peter Gumm - 2009
8 Bialgebraic Methods and Modal Logic in Structural Operational Semantics – Bartek Klin - 2007
10 Coalgebraic modal logic beyond Sets – Bartek Klin - 2007
1 Coalgebraic Correspondence Theory – Lutz Schröder, Dirk Pattinson