Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison

DOI10.4230/LIPIcs.FSTTCS.2016.26zbMath1391.68075arXiv1711.08191OpenAlexW2931443989MaRDI QIDQ4636573

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

Publication date: 19 April 2018

Full work available at URL: https://arxiv.org/abs/1711.08191

zbMATH Keywords

model checkingexpressivenessinterval temporal logics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (11)

A separation theorem for discrete-time interval temporal logic ⋮ Model checking interval temporal logics with regular expressions ⋮ 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 ⋮ 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 ⋮ An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning ⋮ An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning ⋮ Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments

This page was built for publication: Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison