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]

[img] Text (Full Text)

Download (164kB)
[img] 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