A decidable weakening of Compass Logic based on cone-shaped cardinal directions

Angelo Montanari, Gabriele Puppis, Pietro Sala

We introduce a modal logic, called Cone Logic, whose formulas describe properties of points in the plane and spatial relationships between them. Points are labelled by proposition…