A real-time interval logic and its decision procedure

DOI10.1007/BF02745518zbMath1009.68517OpenAlexW2059488168MaRDI QIDQ5955786

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

Publication date: 18 February 2002

Published in: Sādhanā (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02745518

zbMATH Keywords

interval modalitiesreal-time future interval logic

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)

Cites Work

• A calculus of durations
• Timing verification by successive approximation
• On theories with a combinatorial definition of 'equivalence'
• A really temporal logic
• A propositional modal logic of time intervals
• 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
• Unnamed Item

This page was built for publication: A real-time interval logic and its decision procedure