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
decidabilitylogics of programsmonadic second-order theoryreal-time logicslayered temporal structurestime state sequences
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)
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)