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

DOI10.1016/S0304-3975(96)80701-8MaRDI QIDQ672040zbMATH OpenOpenAlexFDO

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

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

decidabilitysatisfiability problemdecision algorithmreal-time future interval logicreasoning about real-time properties of concurrent systemstimed Büchi automata

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)

Recommendations

• Interval logics and their decision procedures. I: An interval logic
• A real-time interval logic and its decision procedure
• scientific article; zbMATH DE number 1354149
• Realizability of real-time logics
• scientific article; zbMATH DE number 1318520

Cites work

• scientific article; zbMATH DE number 3937153 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 177824 (Why is no real title available?)
• scientific article; zbMATH DE number 1354149 (Why is no real title available?)
• scientific article; zbMATH DE number 512815 (Why is no real title available?)
• scientific article; zbMATH DE number 1536575 (Why is no real title available?)
• scientific article; zbMATH DE number 810105 (Why is no real title available?)
• scientific article; zbMATH DE number 3237829 (Why is no real title available?)
• A calculus of durations
• Automated deduction in a graphical temporal logic
• Interval logics and their decision procedures. I: An interval logic
• Parametric real-time reasoning
• The benefits of relaxing punctuality

Cited in

(7)

• scientific article; zbMATH DE number 4056996 (Why is no real title available?)
• A Dose of Timed Logic, in Guarded Measure
• Is your model checker on time? On the complexity of model checking for timed modal logics
• Towards an algebra for real-time programs
• Trace analysis using an event-driven interval temporal logic
• Interval logics and their decision procedures. I: An interval logic
• A real-time interval logic and its decision procedure

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q672040)