Two-dimensional modal logic
From MaRDI portal
Publication:5906166
DOI10.1007/BF01789012zbMath0403.03015MaRDI QIDQ5906166
Publication date: 1978
Published in: Mathematical Notes (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Properties of classes of models (03C52) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Related Items (11)
The decision problem of modal product logics with a diagonal, and faulty counter machines ⋮ Multimodal logics of products of topologies ⋮ Semiproducts, products, and modal predicate logics: some examples ⋮ An NP-complete fragment of fibring logic ⋮ On the axiomatizability of some first-order spatio-temporal theories ⋮ Topological-frame products of modal logics ⋮ Non-primitive recursive decidability of products of modal logics with expanding domains ⋮ On squares of modal logics with additional connectives ⋮ Segerberg Squares of Modal Logics and Theories of Relation Algebras ⋮ 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\)
Cites Work
This page was built for publication: Two-dimensional modal logic
