A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
From MaRDI portal
Publication:3644762
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
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
