ML199607: Montanari, Angelo and Peron, Adriano and Policriti, Alberto (1996) Decidable Theories of $\omega$Layered Metric Temporal Structures. [Report]
Text (Full Text)
ML199607.text.ps.gz Download (158kB) 

Text (Abstract)
ML199607.abstract.txt Download (1kB) 
Abstract
This paper focuses on decidability problems for metric and layered temporal
logics which allow one to model time granularity in various contexts. The
decidability of pure metric (nongranular) fragments and of metric temporal
logics endowed with finitely many layers has been already proved by reduction
to the decidability problem of the wellknown theory S1S. In the present work,
we prove the decidability of both the theory of metric temporal structures
provided with an infinite number of arbitrarily coarse temporal layers and the
theory of metric temporal structures provided with an infinite number of
arbitrarily fine temporal layers. The proof for the first theory is obtained
by reduction to the decidability problem of an extension of S1S which is
proved to be the logical counterpart of the class of \omegalanguages accepted
by systolic tree automata. The proof for the second one is done through the
reduction to the monadic secondorder decidable theory of k successors SkS.
Item Type:  Report 

Report Nr:  ML199607 
Series Name:  Mathematical Logic and Foundations (ML) 
Year:  1996 
Date Deposited:  12 Oct 2016 14:40 
Last Modified:  12 Oct 2016 14:40 
URI:  https://eprints.illc.uva.nl/id/eprint/1376 
Actions (login required)
View Item 