Rank-1 Modal Logics Are Coalgebraic

DOI10.1007/978-3-540-70918-3_49MaRDI QIDQ3590964zbMATHOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(9)

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

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)