Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic
Open Access
- 31 October 2002
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 65 (1) , 135-155
- https://doi.org/10.1016/s1571-0661(04)80363-3
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- From modal logic to terminal coalgebrasTheoretical Computer Science, 2001
- Modal Rules are Co-ImplicationsElectronic Notes in Theoretical Computer Science, 2001
- Specifying coalgebras with modal logicTheoretical Computer Science, 2001
- Semantical Principles in the Modal Logic of CoalgebrasPublished by Springer Nature ,2001
- Many-Sorted Coalgebraic Modal Logic: a Model-theoretic StudyRAIRO - Theoretical Informatics and Applications, 2001
- Coalgebras and Modal LogicElectronic Notes in Theoretical Computer Science, 2000
- Coalgebraic logicAnnals of Pure and Applied Logic, 1999
- Terminal sequences for accessible endofunctorsElectronic Notes in Theoretical Computer Science, 1999
- On the greatest fixed point of a set functorTheoretical Computer Science, 1995
- Terminal coalgebras in well-founded set theoryTheoretical Computer Science, 1993