Expressive Logics for Coalgebras via Terminal Sequence Induction (2002)

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

Active Bibliography

5.2 Proof Systems for Coalgebraic Modal Logic.......... 91 – Dirk Pattinson
1 Translating Logics for Coalgebras – Dirk Pattinson - 2002
Semantic Principles in the . . . – Dirk Pattinson - 2001
1 Similarity Quotients as Final Coalgebras – Paul Blain Levy
30 Semantical Principles in the Modal Logic of Coalgebraic – Dirk Pattinson
Final Coalgebras – Dirk Pattinson, Taken From Rutten
15 Automata and fixed point logics: a coalgebraic perspective – Yde Venema - 2004
17 Simulations in Coalgebra – Jesse Hughes, Bart Jacobs - 2003
Generalized Coinduction – Falk Bartels - 2003
1 GSOS for probabilistic transition systems (Extended Abstract) – Falk Bartels - 2002
52 Behavioural Differential Equations: A Coinductive Calculus of Streams, Automata, and Power Series – J. J. M. M. Rutten - 2000
13 GSOS for Probabilistic Transition Systems – Falk Bartels - 2002
Electronic Notes in Theoretical Computer Science 11 (1998), Pages 1{7 Relators and Metric Bisimulations (Extended Abstract) – J. J. M. M. Rutten
3 Calculating invariants as coreflexive bisimulations – Luís S. Barbosa, José N. Oliveira, Ra M. Silva - 2008
4 Coinduction for recursive data types: partial orders, metric spaces and Omega-categories – James Worrell - 2000
1 PSPACE bounds for rank 1 modal logics – Lutz Schr Öder, Dirk Pattinson - 2006
6 Stone coalgebras – Clemens Kupke, Alexander Kurz, Yde Venema - 2003
26 PSPACE bounds for rank 1 modal logics – Lutz Schröder, Dirk Pattinson - 2006
5 Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic – Alexander Kurz, Dirk Pattinson - 2007