ML-1996-06: A Decidable Theory of Finitely-Layered Metric Temporal Structures

ML-1996-06: Montanari, Angelo and Policriti, Alberto (1996) A Decidable Theory of Finitely-Layered Metric Temporal Structures. [Report]

[thumbnail of Full Text] Text (Full Text)

Download (164kB)
[thumbnail of Abstract] Text (Abstract)

Download (758B)


We study the decidability problem for metric and layered temporal logics. The
logics we consider are suitable to model time granularity in various contexts,
and they allow one to build granular temporal models by referring to the
`natural scale' in any component of the model and by properly constraining the
interactions between differently­grained components. A monadic second­order
language combining operators such as temporal contextualization and projection,
together with the usual displacement operator of metric temporal logics, is
considered, and the theory of finitely­layered metric temporal structures is
shown to be decidable.

Item Type: Report
Report Nr: ML-1996-06
Series Name: Mathematical Logic and Foundations (ML)
Year: 1996
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40

Actions (login required)

View Item View Item