An infinitary variant of Metric Temporal Logic over dense time domains

DOI10.1002/MALQ.200310096zbMATH Open1049.03015OpenAlexW2070008537MaRDI QIDQ4736752FDOQ4736752

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

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.

zbMATH Keywords

metric temporal logicsequent calculusinfinitary logic

Mathematics Subject Classification ID

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

Cited In (5)

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

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)