13 citations · 65 across the 15 of their papers we have counts for
1 paper · 1 filter
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…