Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics

DOI10.1007/978-3-540-78499-9_6zbMath1139.03012OpenAlexW1570796240MaRDI QIDQ5458351

Lutz Schröder, Dirk Pattinson

Publication date: 11 April 2008

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78499-9_6

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Categorical logic, topoi (03G30)

Related Items (7)

Free Heyting Algebras: Revisited ⋮ Monotone subintuitionistic logic: duality and transfer results ⋮ Hybrid logic with the difference modality for generalisations of graphs ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra ⋮ Cut Elimination for Shallow Modal Logics ⋮ Coalgebraic Completeness-via-Canonicity

This page was built for publication: Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics