PSPACE bounds for rank 1 modal logics (2006)

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

Documents Related by Co-Citation

136 Modal Logic – Brian F Chellas - 1980
121 A Modal Logic for Coalitional Power in Games – Marc Pauly - 2002
50 Coalgebraic modal logic: Soundness, completeness and decidability of local consequence – Dirk Pattinson - 2002
23 A Finite Model Construction For Coalgebraic Modal Logic – Lutz Schröder
8 Admissibility of Cut in Coalgebraic Logics – Dirk Pattinson, Lutz Schröder - 2008
12 Rank-1 modal logics are coalgebraic – Lutz Schröder, Dirk Pattinson - 2007
11 A Sequent Calculus and a Theorem Prover for Standard Conditional Logics – Nicola Olivetti, Gian Luca Pozzato, Camilla B. Schwind - 2007
353 Modal Logic – P Blackburn, M de Rijke, Y Venema - 2001
20 Finality Regained - A Coalgebraic Study of Scott-sets and Multisets – Giovanna D'Agostino, Albert Visser - 1999
13 Modular algorithms for heterogeneous modal logics – Lutz Schröder, Dirk Pattinson - 2007
4 Generic modal cut elimination applied to conditional logics – Dirk Pattinson, Lutz Schröder - 2009
7 Coalgebraic hybrid logic – Rob Myers, Dirk Pattinson, Lutz Schröder - 2009
6 Beyond rank 1: Algebraic semantics and finite models for coalgebraic logics – Dirk Pattinson, Lutz Schröder - 2008
24 A coalgebraic perspective on monotone modal logic – H H Hansen, C Kupke - 2004
37 Expressivity of coalgebraic modal logic: The limits and beyond – Lutz Schröder - 2005
14 Presburger modal logic is only PSPACE-complete – S Demri, D Lugiez - 2006
57 Specifying coalgebras with modal logic – Alexander Kurz - 2001
24 Expressive Logics for Coalgebras via Terminal Sequence Induction – Dirk Pattinson, D- Mnchen - 2002
26 Probability Logic for Type Spaces – A Heifetz, P Mongin