Recommendations
Cites work
- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
- A modal logic for subject-oriented spatial reasoning
- A new modal logic for reasoning about space: spatial propositional neighborhood logic
- A relation-algebraic approach to the region connection calculus
- A unifying approach to temporal constraint reasoning
- Algebraic foundations for qualitative calculi and networks
- An axiom system for a spatial logic with convexity
- Composing cardinal direction relations
- Deciding Linear Inequalities by Computing Loop Residues
- Handbook of Spatial Logics
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 5953014 (Why is no real title available?)
- scientific article; zbMATH DE number 3151263 (Why is no real title available?)
- scientific article; zbMATH DE number 714922 (Why is no real title available?)
- Maintaining knowledge about temporal intervals
- Metamathematical discussion of some affine geometries
- On the consistency of cardinal direction constraints
- Qualitative spatial logics for buffered geometries
- Querying temporal and spatial constraint networks in PTIME
- Tarski's System of Geometry
- The axiomatization of propositional logic
- Undecidability of compass logic
This page was built for publication: A Logic of East and West
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5881809)
