Location of Repository

Decidability and Definability of Binary Predicates for Time Granularity

By Angelo Montanari, Massimo Franceschet, Adriano Peron and Guido Sciavicco

Abstract

In this paper we study the definability and decidability of binary predicates for time granularity in\ud monadic languages interpreted over finitely and infinitely layered structures. We focus our attention\ud on the equi-level (respectively equi-column) predicate constraining two time points to belong to the\ud same layer (respectively column) and on the horizontal (respectively vertical) successor predicate\ud relating a time point to its successor within a given layer (respectively column). We give a number\ud of positive and negative results by reduction to/from a wide spectrum of decidable/undecidable\ud problems

Year: 2006
OAI identifier: oai:iris.unife.it:11392/2326669
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://hdl.handle.net/11392/23... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.