Universal coalgebra: a theory of systems
Theoretical Computer Science - Modern algebra and its applications
Specifying coalgebras with modal logic
Theoretical Computer Science
Automata for the Modal mu-Calculus and related Results
MFCS '95 Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science
Coalgebraic modal logic: soundness, completeness and decidability of local consequence
Theoretical Computer Science
A compositional approach to defining logics for coalgebras
Theoretical Computer Science - Selected papers of CMCS'03
Automata and fixed point logic: A coalgebraic perspective
Information and Computation - Special issue: Seventh workshop on coalgebraic methods in computer science 2004
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
The Computer Journal
Ultrafilter extensions for coalgebras
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Hi-index | 0.00 |
We discuss two model constructions related to the coalgebraic logic introduced by Moss. Our starting point is the derivation system MT for this logic, given by Kupke, Kurz and Venema. Based on the one-step completeness of this system, we first construct a finite coalgebraic model for an arbitrary MT -consistent formula. This construction yields a simplified completeness proof for the logic MT with respect to the intended, coalgebraic semantics. Our second main result concerns a strong completeness result for MT, provided that the functor T satisfies some additional constraints. Our proof for this result is based on the construction, for an MT-consistent set of formulas A, of a coalgebraic model in which A is satisfiable.