✦ LIBER ✦

A note on unbounded metric temporal logic over dense time domains

✍ Scribed by Stefano Baratella; Andrea Masini

Publisher: John Wiley and Sons
Year: 2006
Tongue: English
Weight: 114 KB
Volume: 52
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.200510043

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

We investigate the consequences of removing the infinitary axiom and rules from a previously defined proof system for a fragment of propositional metric temporal logic over dense time (see [1]). (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

📜 SIMILAR VOLUMES

An infinitary variant of Metric Temporal

An infinitary variant of Metric Temporal Logic over dense time domains

✍ Stefano Baratella; Andrea Masini 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 144 KB 👁 1 views

## Abstract We introduce a complete and cut‐free proof system for a sufficiently expressive fragment of Metric Temporal Logic over dense time domains in which a schema of induction is provable. So doing we extend results previously obtained by Montagna et al. to unbounded temporal operators. (© 200

A Cut-free Proof System for Bounded Metr

A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain

✍ Franco Montagna; G. Michele Pinna; Elisa B. P. Tiezzi 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 250 KB 👁 2 views