𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An infinitary variant of Metric Temporal Logic over dense time domains

✍ Scribed by Stefano Baratella; Andrea Masini

Publisher
John Wiley and Sons
Year
2004
Tongue
English
Weight
144 KB
Volume
50
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

📜 SIMILAR VOLUMES

A note on unbounded metric temporal logi
A note on unbounded metric temporal logic over dense time domains
✍ Stefano Baratella; Andrea Masini 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 114 KB 👁 1 views

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