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
89 Coalgebraic Logic – Lawrence S. Moss - 1999
22 Modular construction of modal logics – Corina Cîrstea, Dirk Pattinson - 2004
19 Algebraic-coalgebraic specification in CoCasl – Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder - 2006
33 Coalgebras and Modal Logic – Martin Rößiger - 2000
148 Modal Logic – B Chellas - 1980
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
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
16 Algebraic semantics for coalgebraic logics – C Kupke, A Kurz, D Pattinson - 2004
13 Ultrafilter extensions for coalgebras – C. Kupke, A. Kurz, D. Pattinson - 2005
24 A Finite Model Construction For Coalgebraic Modal Logic – Lutz Schröder
15 PSPACE reasoning for rank-1 modal logics – L Schröder, D Pattinson - 2006