Expressive Logics for Coalgebras via Terminal Sequence Induction (2002)

by Dirk Pattinson , D- Mnchen
Venue:Notre Dame J. Formal Logic
Citations:26 - 8 self

Documents Related by Co-Citation

298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
39 Expressivity of coalgebraic modal logic: The limits and beyond – Lutz Schröder - 2005
61 Specifying Coalgebras with Modal Logic – A Kurz - 1998
51 Coalgebraic modal logic: Soundness, completeness and decidability of local consequence – Dirk Pattinson - 2002
53 Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study – B. P. F. Jacobs, Bart Jacobs - 2001
28 Probability Logic for Type Spaces – A Heifetz, P Mongin
405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
148 Modal Logic – B Chellas - 1980
89 Coalgebraic Logic – Lawrence S. Moss - 1999
22 Modular construction of modal logics – Corina Cîrstea, Dirk Pattinson - 2004
24 A Finite Model Construction For Coalgebraic Modal Logic – Lutz Schröder
33 Coalgebras and Modal Logic – Martin Rößiger - 2000
21 Finality Regained - A Coalgebraic Study of Scott-sets and Multisets – Giovanna D'Agostino, Albert Visser - 1999
21 Towards a Duality Result in the Modal Logic of Coalgebras – Bart Jacobs - 2000
19 Algebraic-coalgebraic specification in CoCasl – Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder - 2006
30 Semantical Principles in the Modal Logic of Coalgebraic – Dirk Pattinson
136 A Modal Logic for Coalitional Power in Games – Marc Pauly - 2002
15 PSPACE reasoning for rank-1 modal logics – L Schröder, D Pattinson - 2006
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997