Rank-1 Modal Logics are Coalgebraic

DOI10.1093/logcom/exn096zbMath1266.03032OpenAlexW2077519384MaRDI QIDQ3056300

Lutz Schröder, Dirk Pattinson

Publication date: 11 November 2010

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exn096

zbMATH Keywords

modal logiccoalgebradeontic logicdecision procedurescoalgebraic semanticsneighbourhood frames

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30)

Related Items (7)

A point-free perspective on lax extensions and predicate liftings ⋮ Characterization, definability and separation via saturated models ⋮ Completeness for \(\mu\)-calculi: a coalgebraic approach ⋮ Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra ⋮ Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics ⋮ Coalgebraic Completeness-via-Canonicity ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS

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