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]

Authors

Davide Bresolin

This author has not been identified. It may be one of the following persons: Look up 'Davide Bresolin' in Google

Dario Della Monica

This author has not been identified. It may be one of the following persons: Look up 'Dario Della Monica' in Google

Angelo Montanari

This author has not been identified. Look up 'Angelo Montanari' in Google

Pietro Sala

This author has not been identified. Look up 'Pietro Sala' in Google

Guido Sciavicco

This author has not been identified. Look up 'Guido Sciavicco' in Google