Tableaux for Logics of Subinterval Structures over Dense Orderings
From MaRDI portal
Publication:3406687
DOI10.1093/logcom/exn063zbMath1188.03009OpenAlexW2004536649MaRDI QIDQ3406687
Pietro Sala, Davide Bresolin, Angelo Montanari, Valentin F. Goranko
Publication date: 19 February 2010
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exn063
Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)
Related Items (23)
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases ⋮ 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}}\) ⋮ Mining approximate interval-based temporal dependencies ⋮ Checking interval properties of computations ⋮ Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations ⋮ On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders ⋮ Model checking interval temporal logics with regular expressions ⋮ 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 ⋮ Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives ⋮ Unnamed Item ⋮ Interval vs. Point Temporal Logic Model Checking ⋮ Unnamed Item ⋮ Interval temporal logics over strongly discrete linear orders: expressiveness and complexity ⋮ Which fragments of the interval temporal logic HS are tractable in model checking? ⋮ Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals ⋮ The dark side of interval temporal logic: marking the undecidability border ⋮ Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy ⋮ Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments ⋮ A Decidable Spatial Logic with Cone-Shaped Cardinal Directions ⋮ On coarser interval temporal logics
Uses Software
This page was built for publication: Tableaux for Logics of Subinterval Structures over Dense Orderings
