Theorem proving for metric temporal logic over the naturals

DOI10.1007/978-3-319-63046-5_20zbMath1496.03047OpenAlexW2736129000MaRDI QIDQ2405259

Clare Dixon, Ullrich Hustadt, Ana Ozaki

Publication date: 22 September 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-63046-5_20

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

Theorem proving for pointwise metric temporal logic over the naturals via translations ⋮ Satisfiability checking for mission-time \textsf{LTL} (MLTL)

This page was built for publication: Theorem proving for metric temporal logic over the naturals