A Decidable Spatial Logic with Cone-Shaped Cardinal Directions

DOI10.1007/978-3-642-04027-6_29zbMath1257.03054OpenAlexW1526531521MaRDI QIDQ3644762

Gabriele Puppis, Pietro Sala, Angelo Montanari

Publication date: 12 November 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04027-6_29

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (6)

A Logic of East and West ⋮ Subject-oriented spatial logic ⋮ Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) ⋮ Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings ⋮ The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT ⋮ Interval-based temporal functional dependencies: specification and verification

Cites Work

• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• Many-dimensional modal logics: theory and applications
• Expressiveness and completeness of an interval tense logic
• A new modal logic for reasoning about space: spatial propositional neighborhood logic
• Tableaux for Logics of Subinterval Structures over Dense Orderings
• Handbook of Spatial Logics
• Undecidability of compass logic
• The Complexity of Satisfiability for Fragments of CTL and CTL⋆

This page was built for publication: A Decidable Spatial Logic with Cone-Shaped Cardinal Directions