Two-dimensional modal logic

DOI10.1007/BF01789012MaRDI QIDQ5906166zbMATH OpenFDO

Authors Valentin Shehtman

Publication date 1978

Published in Mathematical Notes (Search for Journal in Brave)

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

zbMATH Keywords

FrameN-Modal LogicsWeak Two-Dimensional Product

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Properties of classes of models (03C52) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Cites work

• scientific article; zbMATH DE number 3499717 (Why is no real title available?)
• On Some Completeness Theorems in Modal Logic
• Two-dimensional modal logic

Cited in

(11)

• Topological-frame products of modal logics
• Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
• The incompleteness of \(\mathrm{S}4\oplus\mathrm{S}4\) for the product space \(\mathbb R\times\mathbb R\)
• Non-primitive recursive decidability of products of modal logics with expanding domains
• On squares of modal logics with additional connectives
• The decision problem of modal product logics with a diagonal, and faulty counter machines
• On the axiomatizability of some first-order spatio-temporal theories
• Segerberg Squares of Modal Logics and Theories of Relation Algebras
• Semiproducts, products, and modal predicate logics: some examples
• Multimodal logics of products of topologies
• An NP-complete fragment of fibring logic

This page was built for publication: Two-dimensional modal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5906166)