Interval logics and their decision procedures. II: A real-time interval logic

DOI10.1016/S0304-3975(96)80701-8zbMath0874.03032OpenAlexW2620794710MaRDI QIDQ672040

G. Kutty, Y. S. Ramakrishna, L. K. Dillon, Louise E. Moser, P. Michael Melliar-Smith

Publication date: 27 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(96)80701-8

zbMATH Keywords

timed Büchi automatadecidabilitysatisfiability problemreal-time future interval logicdecision algorithmreasoning about real-time properties of concurrent systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Decidability of theories and sets of sentences (03B25) Other applications of logic (03B80)

Related Items (3)

Trace Analysis Using an Event-Driven Interval Temporal Logic ⋮ Interval logics and their decision procedures. I: An interval logic ⋮ Is your model checker on time? On the complexity of model checking for timed modal logics

Cites Work

• Interval logics and their decision procedures. I: An interval logic
• A calculus of durations
• Automated deduction in a graphical temporal logic
• Parametric real-time reasoning
• The benefits of relaxing punctuality
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Interval logics and their decision procedures. II: A real-time interval logic