Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic

DOI10.1016/S1571-0661(04)80363-3zbMath1270.03143OpenAlexW2017288906MaRDI QIDQ2842556

Dirk Pattinson, Alexander Kurz

Publication date: 15 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80363-3

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30)

Cites Work

• On the greatest fixed point of a set functor
• Coalgebraic logic
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Terminal coalgebras in well-founded set theory
• Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
• On coalgebra of real numbers
• The temporal logic of coalgebras via Galois algebras
• Modal Rules are Co-Implications
• Specifying coalgebras with modal logic
• From modal logic to terminal coalgebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic