PSPACE bounds for rank 1 modal logics (2006)

by Lutz Schröder , Dirk Pattinson
Venue:IN LICS’06
Citations:26 - 15 self

Active Bibliography

1 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
unknown title – Lutz Schröder, Dirk Pattinson - 2008
PSPACE – Lutz Schröder, Dirk Pattinson - 2008
14 Rank-1 modal logics are coalgebraic – Lutz Schröder, Dirk Pattinson - 2007
Address for Correspondence: – Lutz Schröder, Dfki-lab Bremen, Lutz Schröder
22 Modular construction of modal logics – Corina Cîrstea, Dirk Pattinson - 2004
Table of Contents General Information 1 Editor’s Letter — Ross – unknown authors
3 Exemplaric Expressivity of Modal Logics – Bart Jacobs, Ana Sokolova - 2008
16 Modular algorithms for heterogeneous modal logics – Lutz Schröder, Dirk Pattinson - 2007
8 Coalgebraic hybrid logic – Rob Myers, Dirk Pattinson, Lutz Schröder - 2009
4 Shallow Models for Non-Iterative Modal Logics – Lutz Schröder, Dirk Pattinson
Coalgebras, Stone Duality, Modal Logic – Alexander Kurz - 2006
Coalgebras and Their Logics 1 – Riccardo Pucella, Alexander Kurz - 2006
COALA: Coalgebraic Logics and Applications – Dirk Pattinson - 2008
1 Optimizing Conditional Logic Reasoning within CoLoSS – Daniel Hausmann , Lutz Schröder - 2009
8 Admissibility of Cut in Coalgebraic Logics – Dirk Pattinson, Lutz Schröder - 2008
4 Cut Elimination in Coalgebraic Logics – Dirk Pattinson , Lutz Schröder
4 NEIGHBOURHOOD STRUCTURES: BISIMILARITY AND BASIC MODEL THEORY – Helle Hvid Hansen, et al. - 2009