The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints

2012 ◽  
pp. 77-91 ◽  
Author(s):  
Paritosh K. Pandya ◽  
Simoni S. Shah
Keyword(s):  
Lower Bound ◽  
Temporal Logic ◽  
Bound Constraints ◽  
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