scientific article; zbMATH DE number 1444726

MaRDI QIDQ4952306zbMATH OpenFDO

Authors Angelo Montanari, Adriano Peron, Alberto Policriti

Publication date 9 May 2000

zbMATH Keywords

decidabilitymetric temporal structurestemporal layerstemporal logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Recommendations

• Theories of  -layered metric temporal structures: expressiveness and decidability
• Decidability results for metric and layered temporal logics
• Decidable metric logics
• Timer formulas and decidable metric temporal logic
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(5)

• Decidability results for metric and layered temporal logics
• On the relationships between theories of time granularity and the monadic second-order theory of one successor
• Theories of  -layered metric temporal structures: expressiveness and decidability
• The taming (timing) of the states
• THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE

This page was built for publication:

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