Undecidability of compass logic

DOI10.1093/LOGCOM/9.6.897MaRDI QIDQ4943504zbMATH OpenOpenAlexFDO

Authors Maarten Marx, Mark Alexander 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

compass logicdecision problemstilingtwo-dimensional modal logictwo-dimensional temporal logicundecidability

Mathematics Subject Classification ID

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

Recommendations

• A Universally Defined Undecidable Unimodal Logic
• Simulation of two dimensions in unimodal logics
• A decidable weakening of compass logic based on cone-shaped cardinal directions
• scientific article; zbMATH DE number 3853035
• Undecidability of partial order logics

Cited in

(20)

• Undecidability and intuitionistic incompleteness
• On coarser interval temporal logics
• Undecidable iterative propositional calculus
• A survey on temporal logics for specifying and verifying real-time systems
• A new modal logic for reasoning about space: spatial propositional neighborhood logic
• Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting
• The decision problem of modal product logics with a diagonal, and faulty counter machines
• A decidable weakening of compass logic based on cone-shaped cardinal directions
• A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
• Products of ‘transitive” modal logics
• A Logic of East and West
• A Road Map of Interval Temporal Logics and Duration Calculi
• A Road Map of Interval Temporal Logics and Duration Calculi
• Modal logics of succession for 2-dimensional integral spacetime
• Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
• Analysis of spatio-temporal properties of stochastic systems using TSTL
• Decision tree learning with spatial modal logics
• Superintuitionistic predicate logics of linear Kripke frames: undecidability with two individual variables
• Non-axiomatizability of modal predicate logics of Dedekind-complete linear orders with constant domains
• Subject-oriented spatial logic

This page was built for publication: Undecidability of compass logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4943504)