Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics
From MaRDI portal
Publication:5458351
DOI10.1007/978-3-540-78499-9_6zbMath1139.03012MaRDI QIDQ5458351
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
03B45: Modal logic (including the logic of norms)
03B42: Logics of knowledge and belief (including belief change)
03B70: Logic in computer science
03G30: Categorical logic, topoi
Related Items
Coalgebraic Completeness-via-Canonicity, Hybrid logic with the difference modality for generalisations of graphs, Coalgebraic semantics of modal logics: an overview, Monotone subintuitionistic logic: duality and transfer results, Free Heyting Algebras: Revisited, Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra, Cut Elimination for Shallow Modal Logics