A decidable weakening of Compass Logic based on cone-shaped cardinal directions
From MaRDI portal
Publication:3460410
DOI10.2168/LMCS-11(4:7)2015zbMath1351.03014arXiv1510.03319OpenAlexW2260626089MaRDI QIDQ3460410
Angelo Montanari, Pietro Sala, Gabriele Puppis
Publication date: 7 January 2016
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1510.03319
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Temporal logic (03B44)
Related Items (7)
Complexity analysis of a unifying algorithm for model checking interval temporal logic ⋮ Interval Temporal Logic for Visibly Pushdown Systems ⋮ Interval vs. Point Temporal Logic Model Checking ⋮ Unnamed Item ⋮ Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals ⋮ Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy ⋮ On coarser interval temporal logics
This page was built for publication: A decidable weakening of Compass Logic based on cone-shaped cardinal directions