An infinitary variant of Metric Temporal Logic over dense time domains

DOI10.1002/MALQ.200310096MaRDI QIDQ4736752zbMATHzbMATHOpenAlexFDO

Authors Stefano Baratella, Andrea Masini

Publication date 6 August 2004

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

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

zbMATH Keywords

metric temporal logicsequent calculusinfinitary logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44)

Recommendations

• A note on unbounded metric temporal logic over dense time domains
• On the Expressiveness of MTL Variants over Dense Time
• An approach to infinitary temporal proof theory
• A two-dimensional metric temporal logic
• Completeness of temporal logics over infinite intervals.

Cited in

(5)

• A natural deduction calculus for \textbf{S4.2}
• On Metric Temporal Łukasiewicz Logic
• On Process-Algebraic Extensions of Metric Temporal Logic
• A note on unbounded metric temporal logic over dense time domains
• A two-dimensional metric temporal logic

This page was built for publication: An infinitary variant of 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 Q4736752)