Non-finitely axiomatisable two-dimensional modal logics

DOI10.2178/jsl/1344862170zbMath1259.03032OpenAlexW2026045948MaRDI 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 logictwo-dimensional logicsinfinite axiomatizationsproduct logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Combined logics (03B62)

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