scientific article

zbMath0987.03015MaRDI QIDQ2766545

Kamal Lodaya

Publication date: 25 June 2002

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

Mathematics Subject Classification ID

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

Related Items (18)

Complexity analysis of a unifying algorithm for model checking interval temporal logic ⋮ Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) ⋮ Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings ⋮ Checking interval properties of computations ⋮ An optimal decision procedure for right propositional neighborhood logic ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes ⋮ Interval Temporal Logic for Visibly Pushdown Systems ⋮ An interval temporal logic characterization of extended \(\omega\)-regular languages ⋮ Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions ⋮ Interval vs. Point Temporal Logic Model Checking ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Which fragments of the interval temporal logic HS are tractable in model checking? ⋮ The dark side of interval temporal logic: marking the undecidability border ⋮ Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments ⋮ Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings ⋮ A Decidable Spatial Logic with Cone-Shaped Cardinal Directions

This page was built for publication: