Non-finitely axiomatisable two-dimensional modal logics

DOI10.2178/jsl/1344862170zbMath1259.03032MaRDI QIDQ2915901

Sérgio Marcelino, Agi Kurucz

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

zbMATH Keywords

modal logic; two-dimensional logics; infinite axiomatizations; product logics

Mathematics Subject Classification ID

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

03B62: Combined logics

Related Items

Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations, Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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