A note on unbounded metric temporal logic over dense time domains

DOI10.1002/MALQ.200510043MaRDI QIDQ3419667zbMATH OpenOpenAlexFDO

Authors Stefano Baratella, Andrea Masini

Publication date 7 February 2007

Published in MLQ (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200510043

zbMATH Keywords

dense time domainsequent calculustemporal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Recommendations

• An infinitary variant of Metric Temporal Logic over dense time domains
• Completeness of temporal logics over infinite intervals.
• A two-dimensional metric temporal logic
• Programming in metric temporal logic
• Expressiveness of Metric Modalities for Continuous Time

Cited in

(2)

• An infinitary variant of Metric Temporal Logic over dense time domains
• The quest for an adequate semantic basis of dense-time metric temporal logic

This page was built for publication: A note on unbounded metric temporal logic over dense time domains

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