Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals

Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco. Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals. Inf. Comput., 266:97-125, 2019. [doi]

Abstract

Abstract is missing.