Search

• < Previous
• 1
• Next >

---

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 letters and spatial relations are induced by the four cone-shaped cardinal directions. Cone Logic can be seen as a&nbsp;[&hellip;]

---

Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption

Laura Bozzelli ; Alberto Molinari ; Angelo Montanari ; Adriano Peron ; Pietro Sala.

The expressive power of interval temporal logics (ITLs) makes them one of the most natural choices in a number of application domains, ranging from the specification and verification of complex reactive systems to automated planning. However, for a long time, because of their high computational&nbsp;[&hellip;]

---