Functorial Coalgebraic Logic: The Case of Many-sorted Varieties

DOI10.1016/j.entcs.2008.05.025zbMath1279.03085OpenAlexW1965466569MaRDI QIDQ2873668

Daniela Petrişan, Alexander Kurz

Publication date: 24 January 2014

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.05.025

zbMATH Keywords

modal logiccoalgebraStone dualityvarietycoalgebraic logicuniversal algebrasifted colimitspresentation by operations and equations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Categories of algebras (08C05)

Related Items

On universal algebra over nominal sets ⋮ Equational Coalgebraic Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the greatest fixed point of a set functor
• A new approach to abstract syntax with variable binding
• Domain theory in logical form
• Coalgebraic logic
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Expressivity of coalgebraic modal logic: the limits and beyond
• Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
• The Goldblatt-Thomason Theorem for Coalgebras
• Coalgebraic Modal Logic Beyond Sets
• Equational Systems and Free Constructions (Extended Abstract)
• Coalgebraic modal logic of finite rank
• Algebra and Coalgebra in Computer Science
• Foundations of Software Science and Computational Structures
• Foundations of Software Science and Computation Structures