The taming (timing) of the states

DOI10.1093/JIGPAL/8.5.681zbMath0964.03017OpenAlexW2160049580MaRDI QIDQ4511544

Adriano Peron, Angelo Montanari, Alberto Policriti

Publication date: 9 July 2001

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

Full work available at URL: https://semanticscholar.org/paper/92e16d617dba4868627de260f44d8fa8425e29cc

zbMATH Keywords

decidabilitymonadic second-order theorylogics of programsreal-time logicslayered temporal structurestime state sequences

Mathematics Subject Classification ID

Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44)

Related Items (2)

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

This page was built for publication: The taming (timing) of the states