S. Baratella and A. Masini. An infinitary variant of metric temporal logic over dense time domains. Mathematical Logic Quarterly, 50:249-257, 2004.

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.

[ bib | http ]

Back