A Dose of Timed Logic, in Guarded Measure

DOI10.1007/11867340_19zbMATH Open1141.03310OpenAlexW1551896680MaRDI QIDQ3511241FDOQ3511241

Authors: Kamal Lodaya, Paritosh K. Pandya 

Publication date: 8 July 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Recommendations

• Interval duration logic: expressiveness and decidability
• Timer formulas and decidable metric temporal logic
• Timed temporal logics
• Decidable metric logics
• Interval logics and their decision procedures. II: A real-time interval logic

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70)

Cited In (2)

• Unary and two-variable interval logics
• Logic in India -- editorial introduction

This page was built for publication: A Dose of Timed Logic, in Guarded Measure

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