The taming (timing) of the states

DOI10.1093/JIGPAL/8.5.681zbMATHOpenAlexMaRDI QIDQ4511544FDO

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

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)

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

Cited in

(3)

• On the relationships between theories of time granularity and the monadic second-order theory of one successor
• States and markets: The advantage of an early start
• 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)