Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
type: Item
instance of: scholarly article
title: Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
zbMATH Open document ID: 1335.03017
author: Davide Bresolin
author: Dario Della Monica
author: Angelo Montanari
author: Pietro Sala
author: Guido Sciavicco
published in: Theoretical Computer Science
publication date: 2014-12-02T00:00:00Z
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 6376191
zbMATH Keywords: interval temporal logics
zbMATH Keywords: discrete linear orders
zbMATH Keywords: expressiveness
zbMATH Keywords: decidability
zbMATH Keywords: complexity
MaRDI profile type: Publication
full work available at URL: j.tcs.2014.03.033
OpenAlex ID: W2083861746
cites work: Q4449301
cites work: A propositional modal logic of time intervals
cites work: Maintaining knowledge about temporal intervals
cites work: Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
cites work: Tableaux for Logics of Subinterval Structures over Dense Orderings
cites work: Two-sorted point-interval temporal logics
cites work: A Road Map of Interval Temporal Logics and Duration Calculi
cites work: An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic
cites work: An optimal decision procedure for right propositional neighborhood logic
cites work: Q3113783
cites work: On begins, meets and before
cites work: Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals
cites work: Expressiveness and completeness of an interval tense logic
cites work: Many-dimensional modal logics: theory and applications
cites work: On termination and invariance for faulty channel machines
DOI: 10.1016/J.TCS.2014.03.033
description: scientific article; zbMATH DE number 6376191