Non-finitely axiomatisable two-dimensional modal logics
From MaRDI portal
Publication:2915901
DOI10.2178/jsl/1344862170zbMath1259.03032OpenAlexW2026045948MaRDI QIDQ2915901
Publication date: 19 September 2012
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.jsl/1344862170
Related Items (2)
Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting ⋮ Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
Cites Work
- Relation algebras by games
- A multiprocess network logic with temporal and spatial modalities
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- Many-dimensional modal logics: theory and applications
- A survey of temporal extensions of description logics
- Axiomatizing the monodic fragment of first-order temporal logic
- Strongly representable atom structures of cylindric algebras
- Products of modal logics, part 1
- On axiomatising products of Kripke frames
- On the Products of Linear Modal Logics
- A multi-dimensional terminological knowledge representation language
- Canonical varieties with no canonical axiomatisation
- Products of ‘transitive” modal logics
- Two-dimensional modal logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Non-finitely axiomatisable two-dimensional modal logics