An infinitary variant of Metric Temporal Logic over dense time domains | Zendy

Baratella Stefano | Zendy; Masini Andrea | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Premium

An infinitary variant of Metric Temporal Logic over dense time domains

Author(s) -

Baratella Stefano,

Masini Andrea

Publication year - 2004

Publication title -

mathematical logic quarterly

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.473

H-Index - 28

eISSN - 1521-3870

pISSN - 0942-5616

DOI - 10.1002/malq.200310096

Subject(s) - temporal logic , mathematics , fragment (logic) , schema (genetic algorithms) , metric (unit) , linear temporal logic , discrete mathematics , pure mathematics , computer science , algorithm , theoretical computer science , operations management , machine learning , economics

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)

This content is not available in your region!

Continue researching here.

Having issues? You can contact us here

Accelerating Research