Coalgebraic Logic (1999)

Cached

Download Links

by Lawrence S. Moss
Venue:Annals of Pure and Applied Logic
Citations:89 - 0 self

Documents Related by Co-Citation

298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
61 Specifying Coalgebras with Modal Logic – A Kurz - 1998
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
162 A final coalgebra theorem – Peter Aczel, Nax Mendler - 1989
30 Semantical Principles in the Modal Logic of Coalgebraic – Dirk Pattinson
54 Logics for Coalgebras and Applications to Computer Science – A Kurz - 2000
53 Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study – B. P. F. Jacobs, Bart Jacobs - 2001
21 Towards a Duality Result in the Modal Logic of Coalgebras – Bart Jacobs - 2000
33 The Temporal Logic of Coalgebras via Galois Algebras – Bart Jacobs - 1999
33 Coalgebras and Modal Logic – Martin Rößiger - 2000
51 Coalgebraic modal logic: Soundness, completeness and decidability of local consequence – Dirk Pattinson - 2002
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
133 Terminal coalgebras in well-founded set theory, Theoretical Computer Science 114 – M Barr - 1993
24 Coalgebras and Modal Logic – Alexander Kurz - 1998
443 Modal Logic – P Blackburn, M de Rijke, Y Venema - 2001
31 A.: Duality for Logics of Transition Systems – M M Bonsangue, Kurz - 2005
39 Expressivity of coalgebraic modal logic: The limits and beyond – Lutz Schröder - 2005
22 Modular construction of modal logics – Corina Cîrstea, Dirk Pattinson - 2004