Theories of -layered metric temporal structures: expressiveness and decidability

DOI10.1093/JIGPAL/7.1.79zbMath0920.03033OpenAlexW2041135966MaRDI QIDQ4238501

Alberto Policriti, Adriano Peron, Angelo Montanari

Publication date: 30 March 1999

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/1bc4883ab112cd708dfe2f1b1a9f0ec976da81ff

zbMATH Keywords

decidabilitytree automatametric temporal logicsmonadic second-order theorytime granularitylayered temporal logicsmetric temporal structurestemporal layers

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Related Items (3)

Definability and decidability of binary predicates for time granularity ⋮ On the relationships between theories of time granularity and the monadic second-order theory of one successor ⋮ A two-level temporal logic for evolving specifications.

This page was built for publication: Theories of  -layered metric temporal structures: expressiveness and decidability