Finite-level modal logics

DOI10.1007/BF01668553zbMath0375.02007OpenAlexW2335444786MaRDI QIDQ1245106

Larisa L. Maksimova

Publication date: 1976

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01668553

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (8)

Algorithms for recognizing restricted interpolation over the modal logic S4 ⋮ Interconnection of the lattices of extensions of four logics ⋮ Partitioning Kripke frames of finite height ⋮ KRULL DIMENSION IN MODAL LOGIC ⋮ Willem Blok and modal logic ⋮ Lattice NExtS4 from the Embedding Theorem Viewpoint ⋮ Segerberg Squares of Modal Logics and Theories of Relation Algebras ⋮ Restricted interpolation over modal logic S4

Cites Work

• Some relational systems and the associated topological spaces
• Unnamed Item

This page was built for publication: Finite-level modal logics