Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals

2014 ◽  
pp. 451-463 ◽  
Author(s):  
Angelo Montanari ◽  
Gabriele Puppis ◽  
Pietro Sala
Keyword(s):  
Temporal Logic ◽  
Interval Temporal Logic

scholarly journals Prompt Interval Temporal Logic

2016 ◽  
pp. 207-222 ◽  
Author(s):  
Dario Della Monica ◽  
Angelo Montanari ◽  
Aniello Murano ◽  
Pietro Sala
Keyword(s):  
Temporal Logic ◽  
Interval Temporal Logic

scholarly journals Actions and Events in Interval Temporal Logic

1994 ◽  
Vol 4 (5) ◽  
pp. 531-579 ◽  
Author(s):  
JAMES F. ALLEN ◽  
GEORGE FERGUSON
Keyword(s):  
Temporal Logic ◽  
Interval Temporal Logic

Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments

2016 ◽  
pp. 389-405 ◽  
Author(s):  
Laura Bozzelli ◽  
Alberto Molinari ◽  
Angelo Montanari ◽  
Adriano Peron ◽  
Pietro Sala
Keyword(s):  
Model Checking ◽  
Temporal Logic ◽  
Logic Model ◽  
Interval Temporal Logic ◽  
Logic Model Checking
Sign in / Sign up

Export Citation Format

Share Document