scientific article; zbMATH DE number 1424034

zbMath0943.03017MaRDI QIDQ4945224

Alexander Rabinovich, Joram Hirschfeld

Publication date: 5 September 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

decidabilityreal linemonadic predicate logicquantitative temporal logic

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (12)

Future temporal logic needs infinitely many modalities ⋮ Temporal logics with incommensurable distances are undecidable ⋮ An SMT-based approach to satisfiability checking of MITL ⋮ Continuous time temporal logic with counting ⋮ Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities ⋮ Complexity of metric temporal logics with counting and the Pnueli modalities ⋮ Timer formulas and decidable metric temporal logic ⋮ A logical characterization of timed regular languages ⋮ Decidable metric logics ⋮ 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 ⋮ Decidable verification for reducible timed automata specified in a first order logic with time

This page was built for publication: