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
51 Coalgebraic modal logic: Soundness, completeness and decidability of local consequence – Dirk Pattinson - 2002
24 A Finite Model Construction For Coalgebraic Modal Logic – Lutz Schröder
443 Modal Logic – P Blackburn, M de Rijke, Y Venema - 2001
8 Admissibility of Cut in Coalgebraic Logics – Dirk Pattinson, Lutz Schröder - 2008
184 The computational complexity of provability in systems of modal propositional logic – R Ladner - 1977
14 Rank-1 modal logics are coalgebraic – Lutz Schröder, Dirk Pattinson - 2007
362 A guide to completeness and complexity for modal logics of knowledge and belief – J Y Halpern, Y Moses - 1992
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
156 Reasoning about Knowledge and Probability – Ronald Fagin, Joseph Y. Halpern - 1994
21 Finality Regained - A Coalgebraic Study of Scott-sets and Multisets – Giovanna D'Agostino, Albert Visser - 1999
16 Modular algorithms for heterogeneous modal logics – Lutz Schröder, Dirk Pattinson - 2007
61 Specifying Coalgebras with Modal Logic – A Kurz - 1998
28 Probability Logic for Type Spaces – A Heifetz, P Mongin
17 Majority logic – Eric Pacuit, Samer Salame - 2004
405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
37 Using Multiset Discrimination To Solve Language Processing Problems Without Hashing – Jiazhen Cai, Robert Paige - 1995