Coalgebras and Modal Logic
Open Access
- 31 December 2000
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 33, 294-315
- https://doi.org/10.1016/s1571-0661(05)80353-6
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Equational and implicational classes of coalgebrasTheoretical Computer Science, 2001
- Universal coalgebra: a theory of systemsTheoretical Computer Science, 2000
- Coalgebraic logicAnnals of Pure and Applied Logic, 1999
- Two-sorted metric temporal logicsTheoretical Computer Science, 1997
- Alternating automata: Unifying truth and validity checking for temporal logicsPublished by Springer Nature ,1997
- Semantical Analysis of Modal Logic I Normal Modal Propositional CalculiMathematical Logic Quarterly, 1963
- A completeness theorem in modal logicThe Journal of Symbolic Logic, 1959