Model Checking the Logic of Allen's Relations Meets and Started-by is $P^{N}P$-Complete

Laura Bozzelli, Alberto Molinari, Angelo Montanari +2

In the plethora of fragments of Halpern and Shoham's modal logic of time intervals (HS), the logic AB of Allen's relations Meets and Started-by is at a central position. Statements…