Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
type: Item
instance of: scholarly article
title: Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
zbMATH Open document ID: 1400.68121
author: Laura Bozzelli
author: Alberto Molinari
author: Angelo Montanari
author: Adriano Peron
author: Pietro Sala
published in: Information and Computation
publication date: 2018-09-27T00:00:00Z
full work available at URL: http://hdl.handle.net/11390/1130801
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 6944942
zbMATH Keywords: interval temporal logic
zbMATH Keywords: model checking
zbMATH Keywords: computational complexity
describes a project that uses: DPF
describes a project that uses: DDVerify
describes a project that uses: MCMAS
MaRDI profile type: Publication
OpenAlex ID: W2891153460
cites work: Maintaining knowledge about temporal intervals
cites work: A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
cites work: An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions
cites work: Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments
cites work: Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
cites work: Q5015270
cites work: Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption
cites work: The dark side of interval temporal logic: marking the undecidability border
cites work: Tableaux for Logics of Subinterval Structures over Dense Orderings
cites work: Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
cites work: On truth-table reducibility to SAT
cites work: Q4532080
cites work: “Sometimes” and “not never” revisited
cites work: Model Checking Database Applications
cites work: A Road Map of Interval Temporal Logics and Duration Calculi
cites work: NP trees and Carnap's modal logic
cites work: A propositional modal logic of time intervals
cites work: Q2771058
cites work: Q4738231
cites work: Counting CTL
cites work: Q5283018
cites work: Checking interval properties of computations
cites work: Q5351958
cites work: Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives
cites work: Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals
cites work: A decidable weakening of Compass Logic based on cone-shaped cardinal directions
cites work: Q4743737
cites work: The temporal semantics of concurrent programs
cites work: Temporal prepositions and their logic
cites work: Intervals and tenses
cites work: Q4449220
cites work: The complexity of propositional linear temporal logics
cites work: The polynomial-time hierarchy
cites work: Expressiveness and completeness of an interval tense logic
cites work: A Modal Logic for Chopping Intervals
cites work: More complicated questions about maxima and minima, and some closures of NP
cites work: Bounded Query Classes
cites work: Duration calculus. A formal approach to real-time systems.
Wikidata QID: Q129288947
DOI: 10.1016/J.IC.2018.09.006
Recommended article: Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments
Recommended article: Q3384161
Recommended article: Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives
Recommended article: Which fragments of the interval temporal logic HS are tractable in model checking?
Recommended article: Complexity analysis of a unifying algorithm for model checking interval temporal logic
Recommended article: Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
Recommended article: Q5311048
Recommended article: Interval vs. Point Temporal Logic Model Checking
Recommended article: From Model Checking to a Temporal Proof for Partial Models
description: scientific article; zbMATH DE number 6944942