Interval logics and their decision procedures. II: A real-time interval logic
DOI10.1016/S0304-3975(96)80701-8zbMATH Open0874.03032OpenAlexW2620794710MaRDI QIDQ672040FDOQ672040
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
Recommendations
decidabilitysatisfiability problemdecision algorithmreal-time future interval logicreasoning about real-time properties of concurrent systemstimed Büchi automata
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Decidability of theories and sets of sentences (03B25) Other applications of logic (03B80)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A calculus of durations
- Parametric real-time reasoning
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Interval logics and their decision procedures. I: An interval logic
- Title not available (Why is that?)
- Automated deduction in a graphical temporal logic
- The benefits of relaxing punctuality
Cited In (7)
- Title not available (Why is that?)
- 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
- A real-time interval logic and its decision procedure
- Interval logics and their decision procedures. I: An interval logic
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)
