A framework for decidable metrical logics

DOI10.1007/3-540-48523-6_39MaRDI QIDQ4938638zbMATH OpenFDO

Authors Alexander Rabinovich, Yoram Hirshfeld

Publication date 5 July 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48523-6_39

zbMATH Keywords

decidable temporal logicssemantics

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• Decidable metric logics
• Timer formulas and decidable metric temporal logic
• Tools and Algorithms for the Construction and Analysis of Systems
• Decidability results for metric and layered temporal logics
• Quantitative temporal logic

Cited in

(15)

• Decidable verification for reducible timed automata specified in a first order logic with time
• Timer formulas and decidable metric temporal logic
• Is your model checker on time? On the complexity of model checking for timed modal logics
• Metric temporal logic revisited
• Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities
• Continuous time temporal logic with counting
• A first order logic for specification of timed algorithms: Basic properties and a decidable class
• METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS
• Multiple-valued semantics for metric temporal logic
• When do you start counting? Revisiting counting and Pnueli modalities in timed logics
• Metric quantifiers and counting in timed logics and automata
• Expressive equivalence between decidable freeze and metric timed temporal logics.
• Decidability of logics based on an indeterministic metric tense logic
• Complexity of metric temporal logics with counting and the Pnueli modalities
• Decidable metric logics

This page was built for publication: A framework for decidable metrical logics

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