PSPACE bounds for rank 1 modal logics (2006)

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

Documents Related by Co-Citation

148 Modal Logic – B Chellas - 1980
136 A Modal Logic for Coalitional Power in Games – Marc Pauly - 2002
24 A Finite Model Construction For Coalgebraic Modal Logic – Lutz Schröder
51 Coalgebraic modal logic: Soundness, completeness and decidability of local consequence – Dirk Pattinson - 2002
14 Rank-1 modal logics are coalgebraic – Lutz Schröder, Dirk Pattinson - 2007
21 Finality Regained - A Coalgebraic Study of Scott-sets and Multisets – Giovanna D'Agostino, Albert Visser - 1999
443 Modal Logic – P Blackburn, M de Rijke, Y Venema - 2001
18 A Sequent Calculus and a Theorem Prover for Standard Conditional Logics – Nicola Olivetti, Gian Luca Pozzato, Camilla B. Schwind - 2007
22 A coalgebraic perspective on monotone modal logic – H Hansen, C Kupke - 2004
8 Admissibility of Cut in Coalgebraic Logics – Dirk Pattinson, Lutz Schröder - 2008
156 Reasoning about Knowledge and Probability – Ronald Fagin, Joseph Y. Halpern - 1994
16 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
15 so many possible worlds – In - 1972
8 Coalgebraic hybrid logic – Rob Myers, Dirk Pattinson, Lutz Schröder - 2009
39 Expressivity of coalgebraic modal logic: The limits and beyond – Lutz Schröder - 2005
16 Presburger modal logic is only PSPACE-complete – S Demri, D Lugiez - 2006
61 Specifying Coalgebras with Modal Logic – A Kurz - 1998
28 Probability Logic for Type Spaces – A Heifetz, P Mongin