scientific article; zbMATH DE number 1444726

zbMATH Open0945.03022MaRDI QIDQ4952306FDOQ4952306

Authors: Angelo Montanari, Adriano Peron, Alberto Policriti 

Publication date: 9 May 2000

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

decidabilitytemporal logicmetric temporal structurestemporal layers

Mathematics Subject Classification ID

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

Cited In (4)

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

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)