Tableaux for Logics of Subinterval Structures over Dense Orderings
From MaRDI portal
Publication:3406687
DOI10.1093/logcom/exn063zbMath1188.03009MaRDI 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
03B25: Decidability of theories and sets of sentences
03B35: Mechanization of proofs and logical operations
03B44: Temporal logic
Related Items
Interval vs. Point Temporal Logic Model Checking, Unnamed Item, Unnamed Item, \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes, Interval Temporal Logic for Visibly Pushdown Systems, A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases, 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, Interval temporal logics over strongly discrete linear orders: expressiveness and complexity, Complexity analysis of a unifying algorithm for model checking interval temporal logic, Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives, 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, Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy, Model checking interval temporal logics with regular expressions, The dark side of interval temporal logic: marking the undecidability border, On coarser interval temporal logics, A survey on temporal logics for specifying and verifying real-time systems, Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments, 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, A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
Uses Software
