Expressive Logics for Coalgebras via Terminal Sequence Induction (2002)

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

Documents Related by Co-Citation

302 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
38 Expressivity of coalgebraic modal logic: The limits and beyond РLutz Schr̦der - 2005
60 Specifying coalgebras with modal logic – A Kurz
50 Coalgebraic modal logic: Soundness, completeness and decidability of local consequence – Dirk Pattinson - 2002
407 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
53 Many-sorted coalgebraic modal logic: a model-theoretic study – B Jacobs
28 Probabilistic logic for type spaces – A Heifetz, P Mongin
446 Modal Logic – P Blackburn, M deRijke, Y Venema - 2003
24 A Finite Model Construction For Coalgebraic Modal Logic РLutz Schr̦der