The taming (timing) of the states

DOI10.1093/JIGPAL/8.5.681zbMATH Open0964.03017OpenAlexW2160049580MaRDI QIDQ4511544FDOQ4511544

Authors: Angelo Montanari, Adriano Peron, Alberto Policriti 

Publication date: 9 July 2001

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

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

Recommendations

• Real-time logics: Complexity and expressiveness
• Publication:4952306
• Temporalized logics and automata for time granularity
• On the relationships between theories of time granularity and the monadic second-order theory of one successor
• On translations of temporal logic of actions into monadic second-order logic

zbMATH Keywords

decidabilitylogics of programsmonadic second-order theoryreal-time logicslayered temporal structurestime state sequences

Mathematics Subject Classification ID

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

Cited In (3)

• States and markets: The advantage of an early start
• On the relationships between theories of time granularity and the monadic second-order theory of one successor
• Definability and decidability of binary predicates for time granularity

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4511544)