Undecidability of compass logic

DOI10.1093/logcom/9.6.897zbMath0941.03018OpenAlexW2123970780MaRDI QIDQ4943504

Maarten Marx, M. A. Reynolds

Publication date: 16 March 2000

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/a1abd06a5410248364147266e718ee887f2647ae

zbMATH Keywords

undecidabilitydecision problemstilingtwo-dimensional temporal logictwo-dimensional modal logiccompass logic

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Temporal logic (03B44)

Related Items

A Logic of East and West ⋮ Subject-oriented spatial logic ⋮ The decision problem of modal product logics with a diagonal, and faulty counter machines ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting ⋮ Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions ⋮ A new modal logic for reasoning about space: spatial propositional neighborhood logic ⋮ Products of ‘transitive” modal logics ⋮ Modal logics of succession for 2-dimensional integral spacetime ⋮ A Decidable Spatial Logic with Cone-Shaped Cardinal Directions ⋮ On coarser interval temporal logics ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ A Road Map of Interval Temporal Logics and Duration Calculi