A two‐dimensional metric temporal logic

DOI10.1002/malq.201700036OpenAlexW2998098850MaRDI QIDQ5112385

Stefano Baratella, Andrea Masini

Publication date: 29 May 2020

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

Full work available at URL: https://arxiv.org/abs/1903.05894

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (2)

Continuous accessibility modal logics ⋮ Natural deduction calculi for classical and intuitionistic S5

Cites Work

• Adding a temporal dimension to a logic system
• Combining temporal logic systems
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Cut Elimination in the Presence of Axioms
• The benefits of relaxing punctuality
• A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain
• An infinitary variant of Metric Temporal Logic over dense time domains
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A two‐dimensional metric temporal logic