Quantitative temporal logic

DOI10.1007/3-540-48168-0_13MaRDI QIDQ4945224zbMATH OpenFDO

Authors Alexander Rabinovich, Yoram Hirshfeld

Publication date 5 September 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-48168-0_13

zbMATH Keywords

decidabilitymonadic predicate logicquantitative temporal logicreal line

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• Timer formulas and decidable metric temporal logic
• A really temporal logic
• Decidable metric logics
• An Expressive Temporal Logic for Real Time
• On the expressivity and complexity of quantitative branching-time temporal logics

Cited in

(18)

• Decidable verification for reducible timed automata specified in a first order logic with time
• Timer formulas and decidable metric temporal logic
• An infinite hierarchy of temporal logics over branching time
• Is your model checker on time? On the complexity of model checking for timed modal logics
• Future temporal logic needs infinitely many modalities
• Quantified temporal alethic-deontic logic
• Quantitative approach for linear temporal logic based on DTMC
• QBF Encoding of Temporal Properties and QBF-Based Verification
• Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities
• Continuous time temporal logic with counting
• A framework for decidable metrical logics
• Theoretical Aspects of Computing – ICTAC 2005
• When do you start counting? Revisiting counting and Pnueli modalities in timed logics
• A logical characterization of timed regular languages
• Temporal logics with incommensurable distances are undecidable
• An SMT-based approach to satisfiability checking of MITL
• Complexity of metric temporal logics with counting and the Pnueli modalities
• Decidable metric logics

This page was built for publication: Quantitative temporal logic

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