activity
20092026
most citedA decidable weakening of Compass Logic based on cone-shaped cardinal directions

13 citations · 30 across the 13 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

cs.LO2023★ 2 cited

The Logic of Prefixes and Suffixes is Elementary under Homogeneity

Dario Della Monica, Angelo Montanari, Gabriele Puppis +1

In this paper, we study the finite satisfiability problem for the logic BE under the homogeneity assumption. BE is the cornerstone of Halpern and Shoham's interval temporal logic,…