On Expressivity and Compositionality in Logics for Coalgebras
Open Access
- 31 July 2003
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 82 (1) , 110-127
- https://doi.org/10.1016/s1571-0661(04)80635-2
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal LogicElectronic Notes in Theoretical Computer Science, 2002
- Many-Sorted Coalgebraic Modal Logic: a Model-theoretic StudyRAIRO - Theoretical Informatics and Applications, 2001
- Coalgebras and Modal LogicElectronic Notes in Theoretical Computer Science, 2000
- A Logic for Coalgebraic SimulationElectronic Notes in Theoretical Computer Science, 2000
- Coalgebraic logicAnnals of Pure and Applied Logic, 1999
- On the greatest fixed point of a set functorTheoretical Computer Science, 1995
- Fibrations, Logical Predicates and IndeterminatesDAIMI Report Series, 1993
- Algebraically compact functorsJournal of Pure and Applied Algebra, 1992