Decidability results for metric and layered temporal logics
type: Item
instance of: scholarly article
title: Decidability results for metric and layered temporal logics
zbMATH Open document ID: 0858.03018
author: Angelo Montanari
author: Alberto Policriti
published in: Notre Dame Journal of Formal Logic
publication date: 1997-03-19T00:00:00Z
review text: The decidability problem for metric and layered temporal logics (MLTL for short) is studied. Metric temporal logics extend propositional logic with a parametrized operator of relative temporal realization. MLTL can be viewed as the combination of a number of differently grained metric temporal logics. It replaces the flat temporal domain of metric temporal logics with a temporal universe consisting of a set of differently grained temporal domains together with relations between instants belonging to different domains. The decidability of MLTL is studied by embedding finitely layered metric temporal structures into their finest metric component, and then reducing the decidability of the theory of the simplest component to a theory that is known to be decidable, namely S1S (the second-order theory of one successor).
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 944260
zbMATH Keywords: time granularity
zbMATH Keywords: decidability
zbMATH Keywords: metric and layered temporal logics
reviewed by: Damas Gruska
MaRDI profile type: Publication
OpenAlex ID: W2032489844
cites work: Real-time logics: Complexity and expressiveness
cites work: Weak Second‐Order Arithmetic and Finite Automata
cites work: Q5525343
cites work: Embedding time granularity in a logical specification language for synchronous real-time systems
cites work: A set-theoretic translation method for polymodal logics
cites work: Q5596785
cites work: Q4518414
cites work: Combining temporal logic systems
cites work: Specifying message passing and time-critical systems with temporal logic
cites work: Q4002642
cites work: Q4952306
cites work: Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing
cites work: Q4385530
DOI: 10.1305/NDJFL/1040046089
description: scientific article; zbMATH DE number 944260