Subject-oriented spatial logic
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1487806 (Why is no real title available?)
- scientific article; zbMATH DE number 877746 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
- A complete axiom system for polygonal mereotopology of the real plane
- A logic framework for reasoning with movement based on fuzzy qualitative representation
- A modal logic for subject-oriented spatial reasoning
- A modal walk through space
- A new modal logic for reasoning about space: spatial propositional neighborhood logic
- An elementary proof of the completeness of PDL
- Expressiveness and completeness of an interval tense logic
- Individuals and points
- Many-dimensional modal logics: theory and applications
- Modal Logics of Topological Relations
- On the Products of Linear Modal Logics
- Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra
- The complexity of theorem-proving procedures
- The computational complexity of hybrid temporal logics
- Undecidability of compass logic
Cited in
(6)
This page was built for publication: Subject-oriented spatial logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q821569)