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

Documents Related by Co-Citation

298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
51 Coalgebraic modal logic: Soundness, completeness and decidability of local consequence – Dirk Pattinson - 2002
61 Specifying Coalgebras with Modal Logic – A Kurz - 1998
21 Towards a Duality Result in the Modal Logic of Coalgebras – Bart Jacobs - 2000
26 Expressive Logics for Coalgebras via Terminal Sequence Induction – Dirk Pattinson, D- Mnchen - 2002
405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
30 Semantical Principles in the Modal Logic of Coalgebraic – Dirk Pattinson
148 Modal Logic – B Chellas - 1980
31 A.: Duality for Logics of Transition Systems – M M Bonsangue, Kurz - 2005
136 A Modal Logic for Coalitional Power in Games – Marc Pauly - 2002
21 Finality Regained - A Coalgebraic Study of Scott-sets and Multisets – Giovanna D'Agostino, Albert Visser - 1999
15 so many possible worlds – In - 1972
495 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
89 Coalgebraic Logic – Lawrence S. Moss - 1999
26 Presenting functors by operations and equations – M M Bonsangue, A Kurz - 2006
16 Algebraic semantics for coalgebraic logics – C Kupke, A Kurz, D Pattinson - 2004
133 Terminal coalgebras in well-founded set theory, Theoretical Computer Science 114 – M Barr - 1993
156 Reasoning about Knowledge and Probability – Ronald Fagin, Joseph Y. Halpern - 1994
22 Modular construction of modal logics – Corina Cîrstea, Dirk Pattinson - 2004