Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments

DOI10.1007/978-3-319-40229-1_27zbMath1475.68177OpenAlexW2496700262MaRDI QIDQ2817939

Angelo Montanari, Pietro Sala, Alberto Molinari, Laura Bozzelli, Adriano Peron

Publication date: 5 September 2016

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40229-1_27

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Temporal logic (03B44)

Related Items (9)

Complexity analysis of a unifying algorithm for model checking interval temporal logic ⋮ Model checking interval temporal logics with regular expressions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Interval vs. Point Temporal Logic Model Checking ⋮ Unnamed Item ⋮ Which fragments of the interval temporal logic HS are tractable in model checking? ⋮ 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

Uses Software

• MCMAS

Cites Work

• Maintaining knowledge about temporal intervals
• Checking interval properties of computations
• Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
• The dark side of interval temporal logic: marking the undecidability border
• Expressiveness and completeness of an interval tense logic
• Temporal prepositions and their logic
• Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments
• Tableaux for Logics of Subinterval Structures over Dense Orderings
• “Sometimes” and “not never” revisited
• The complexity of propositional linear temporal logics
• A propositional modal logic of time intervals
• NP trees and Carnap's modal logic
• Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
• The Undecidability of the Logic of Subintervals
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments