Finite-level modal logics
From MaRDI portal
Cites work
Cited in
(8)- Willem Blok and modal logic
- Krull dimension in modal logic
- Algorithms for recognizing restricted interpolation over the modal logic S4
- Lattice NExtS4 from the embedding theorem viewpoint
- Interconnection of the lattices of extensions of four logics
- Restricted interpolation over modal logic S4
- Segerberg Squares of Modal Logics and Theories of Relation Algebras
- Partitioning Kripke frames of finite height
This page was built for publication: Finite-level modal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1245106)