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

DOI10.1007/978-3-540-78499-9_6MaRDI QIDQ5458351zbMATH OpenOpenAlexFDO

Authors Dirk Pattinson, Lutz Schröder

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

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

Recommendations

• Rank-1 Modal Logics Are Coalgebraic
• Rank-1 modal logics are coalgebraic
• A finite model construction for coalgebraic modal logic
• Foundations of Software Science and Computation Structures
• Coalgebraic modal logic of finite rank

Cited in

(13)

• Monotone subintuitionistic logic: duality and transfer results
• Co-algebraic models for quantitative spatial logics
• Free Heyting algebras: revisited
• Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
• Cut elimination for shallow modal logics
• Rank-1 modal logics are coalgebraic
• Rank-1 Modal Logics Are Coalgebraic
• Coalgebraic Hybrid Logic
• Coalgebraic modal logic of finite rank
• Coalgebraic Completeness-via-Canonicity
• Foundations of Software Science and Computation Structures
• Hybrid logic with the difference modality for generalisations of graphs
• Coalgebraic semantics of modal logics: an overview

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458351)