Constraining cycle alternations in model checking for interval temporal logic
type: Item
instance of: scholarly article
title: Constraining cycle alternations in model checking for interval temporal logic
zbMATH Open document ID: 1345.68221
author: Alberto Molinari
author: Angelo Montanari
author: Adriano Peron
publication date: 2016-08-05T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 6609757
zbMATH Keywords: interval temporal logic
zbMATH Keywords: model checking
zbMATH Keywords: computational complexity
Wikidata QID: Q113317689
MaRDI profile type: Publication
full work available at URL: j.entcs.2016.03.015
OpenAlex ID: W2337119313
cites work: Maintaining knowledge about temporal intervals
cites work: Q4904145
cites work: A propositional modal logic of time intervals
cites work: Q5283018
cites work: Q5351958
cites work: Temporal prepositions and their logic
cites work: Expressiveness and completeness of an interval tense logic
DOI: 10.1016/J.ENTCS.2016.03.015
description: scientific article; zbMATH DE number 6609757