The following pages link to Two-dimensional modal logic (Q5906166):
Displaying 11 items.
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
- Multimodal logics of products of topologies (Q861569) (← links)
- An NP-complete fragment of fibring logic (Q905999) (← links)
- Topological-frame products of modal logics (Q1756592) (← links)
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
- The incompleteness of \(\mathrm{S}4\oplus\mathrm{S}4\) for the product space \(\mathbb R\times\mathbb R\) (Q2350220) (← links)
- Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← links)
- On squares of modal logics with additional connectives (Q2510775) (← links)
- Segerberg Squares of Modal Logics and Theories of Relation Algebras (Q5214740) (← links)
- Semiproducts, products, and modal predicate logics: some examples (Q6123100) (← links)
