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

Cached

Download Links

by Dirk Pattinson

Active Bibliography

30 Semantical Principles in the Modal Logic of Coalgebraic – Dirk Pattinson
26 Expressive Logics for Coalgebras via Terminal Sequence Induction – Dirk Pattinson, D- Mnchen - 2002
Semantic Principles in the . . . – Dirk Pattinson - 2001
1 Dualizing Initial Algebras – Neil Ghani, Christoph Lüth, Federico de Marchi, John Power - 2002
Modal Operators for Coequations – Steve Awodey, Jesse Hughes - 2001
Talk I: Final Coalgebras – unknown authors - 2003
Final Coalgebras – Dirk Pattinson, Taken From Rutten
6 Algebras, Coalgebras, Monads and Comonads – Neil Ghani, Christoph Lüth, Federico De Marchi, John Power - 2001
4 Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem – Jesse Hughes, Bart Jacobs - 2002
1 Finitary construction of free algebras for equational systems – Marcelo Fiore, Chung-kil Hur - 2008
5 On the construction of free algebras for equational systems – Marcelo Fiore, Chung-Kil Hur - 2009
From grammars and automata to algebras and coalgebras – Peter Padawitz - 2013
1 Similarity Quotients as Final Coalgebras – Paul Blain Levy
15 Automata and fixed point logics: a coalgebraic perspective – Yde Venema - 2004
17 Simulations in Coalgebra – Jesse Hughes, Bart Jacobs - 2003
1 Translating Logics for Coalgebras – Dirk Pattinson - 2002
5 Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic – Alexander Kurz, Dirk Pattinson - 2007
14 Coalgebraic Modal Logic of Finite Rank – Alexander Kurz, Dirk Pattinson - 2002
4 Modal Predicates and Coequations – Alexander Kurz, Jirí Rosicky - 2002