The following pages link to Finite-level modal logics (Q1245106):
Displaying 8 items.
- Algorithms for recognizing restricted interpolation over the modal logic S4 (Q2123084) (← links)
- Restricted interpolation over modal logic S4 (Q2342101) (← links)
- Interconnection of the lattices of extensions of four logics (Q2399606) (← links)
- Willem Blok and modal logic (Q2433092) (← links)
- KRULL DIMENSION IN MODAL LOGIC (Q4600458) (← links)
- Lattice NExtS4 from the Embedding Theorem Viewpoint (Q5214738) (← links)
- Segerberg Squares of Modal Logics and Theories of Relation Algebras (Q5214740) (← links)
- Partitioning Kripke frames of finite height (Q5349257) (← links)