A Dose of Timed Logic, in Guarded Measure

DOI10.1007/11867340_19MaRDI QIDQ3511241zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(2)

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

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)