Rank-1 Modal Logics Are Coalgebraic

DOI10.1007/978-3-540-70918-3_49zbMATH Open1186.03049OpenAlexW1515545234MaRDI QIDQ3590964FDOQ3590964

Authors: Lutz Schröder, Dirk Pattinson 

Publication date: 3 September 2007

Published in: STACS 2007 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70918-3_49

Recommendations

• Rank-1 modal logics are coalgebraic
• Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics
• Coalgebraic semantics of modal logics: an overview
• On a categorical framework for coalgebraic modal logic
• A finite model construction for coalgebraic modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65)

Cited In (9)

• Hybrid logic with the difference modality for generalisations of graphs
• Rank-1 modal logics are coalgebraic
• Coalgebraic semantics of modal logics: an overview
• Modal rules are co-implications
• On the fusion of coalgebraic logics
• Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics
• Admissibility of cut in coalgebraic logics
• Cut elimination in coalgebraic logics
• Practical coinduction

This page was built for publication: Rank-1 Modal Logics Are Coalgebraic

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