Stone Coalgebras
Open Access
- 1 July 2003
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 82 (1) , 170-190
- https://doi.org/10.1016/s1571-0661(04)80638-8
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- On varieties and covarieties in a categoryMathematical Structures in Computer Science, 2003
- Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal LogicElectronic Notes in Theoretical Computer Science, 2002
- Modal Predicates and CoequationsElectronic Notes in Theoretical Computer Science, 2002
- On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and ObservabilityPublished by Springer Nature ,2002
- 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
- A Logic for Coalgebraic SimulationElectronic Notes in Theoretical Computer Science, 2000
- Coalgebraic logicAnnals of Pure and Applied Logic, 1999
- Domain theory in logical form*Annals of Pure and Applied Logic, 1991
- The Order Structure of Stone Spaces and theTD-Separation AxiomMathematical Logic Quarterly, 1991