Coalgebraic logic
- 1 March 1999
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 96 (1-3) , 277-317
- https://doi.org/10.1016/s0168-0072(98)00042-6
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A final coalgebra theoremPublished by Springer Nature ,2005
- Universal coalgebra: a theory of systemsTheoretical Computer Science, 2000
- Modal Correspondence for ModelsJournal of Philosophical Logic, 1998
- On the Foundations of CorecursionLogic Journal of the IGPL, 1997
- Bisimulation for probabilistic transition systems: A coalgebraic approachPublished by Springer Nature ,1997
- A quantitative analysis of modal logicThe Journal of Symbolic Logic, 1994
- Additions and corrections to “Terminal coalgebras in well-founded set theory”Theoretical Computer Science, 1994
- Terminal coalgebras in well-founded set theoryTheoretical Computer Science, 1993
- Bisimulation through probabilistic testingInformation and Computation, 1991
- Non-well-founded sets modeled as ideal fixed pointsInformation and Computation, 1991