5.2 Proof Systems for Coalgebraic Modal Logic.......... 91

by Dirk Pattinson

@MISC{Pattinson_5.2proof,
    author = {Dirk Pattinson},
    title = {5.2 Proof Systems for Coalgebraic Modal Logic.......... 91},
    year = {}
}

2026	Model Checking - Clarke, Grumberg, et al. - 2000
369	Category Theory for Computing Science - Barr, Wells - 1990
353	Modal Logic - Blackburn, Rijke, et al. - 2001
43	A 2-categorical approach to change of base and geometric morphisms - Carboni, Kelly, et al. - 1991
34	Modal Logic, volume 35 of Oxford Logic Guides - Chagrov, Zakharyaschev - 1997
28	A logic for coalgebraic simulation - Baltag - 2000
26	Free algebras and automata realization in the language of categories - Adámek - 1974
25	Non-Well-Founded Sets”; Center for the Study of Language and - Aczel - 1998
17	A complete calculus for equational deduction in coalgebraic specification - Corradini - 1998
15	Generalised coinduction - Bartels
13	From varieties of algebras to covarieties of coalgebras - Adámek, Porst - 2001
11	An algebra-coalgebra framework for system specification - Cîrstea - 2007
8	Terminal coalgebras in well-fonded set theory. 114:229–315 - Barr - 1993
5	On the greatest xed point of a set functor - Adámek, Koubek - 1995
5	The coalgebraic dual of Birkho#'s variety theorem - Awodey, Hughes - 2000