A two-dimensional metric temporal logic

DOI10.1002/MALQ.201700036MaRDI QIDQ5112385zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Two-sorted metric temporal logics
• scientific article; zbMATH DE number 1222929
• Completeness results for two-sorted metric temporal logics
• scientific article; zbMATH DE number 1536553
• An infinitary variant of Metric Temporal Logic over dense time domains

Cites work

• A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain
• Adding a temporal dimension to a logic system
• An infinitary variant of Metric Temporal Logic over dense time domains
• Combining temporal logic systems
• Cut Elimination in the Presence of Axioms
• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 1181601 (Why is no real title available?)
• scientific article; zbMATH DE number 1749009 (Why is no real title available?)
• scientific article; zbMATH DE number 932649 (Why is no real title available?)
• scientific article; zbMATH DE number 2207163 (Why is no real title available?)
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• The benefits of relaxing punctuality

Cited in

(13)

• Continuous accessibility modal logics
• A note on unbounded metric temporal logic over dense time domains
• scientific article; zbMATH DE number 1222929 (Why is no real title available?)
• Handling database updates in two-dimensional temporal logic
• scientific article; zbMATH DE number 1536553 (Why is no real title available?)
• THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE
• scientific article; zbMATH DE number 4121966 (Why is no real title available?)
• An infinitary variant of Metric Temporal Logic over dense time domains
• scientific article; zbMATH DE number 1444741 (Why is no real title available?)
• Completeness results for two-sorted metric temporal logics
• Multiple-valued semantics for metric temporal logic
• Natural deduction calculi for classical and intuitionistic S5
• A two-dimensional metric temporal logic

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

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