Two-sorted Point-Interval Temporal Logics

DOI10.1016/j.entcs.2011.10.004zbMath1347.03030OpenAlexW1971514970WikidataQ113318204 ScholiaQ113318204MaRDI QIDQ2825405

Guido Sciavicco, Philippe Balbiani, Valentin F. Goranko

Publication date: 7 October 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2011.10.004

zbMATH Keywords

complexitydecidabilitypoint and interval temporal logics

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (6)

A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases ⋮ Fuzzy Halpern and Shoham's interval temporal logics ⋮ Representation and processing of instantaneous and durative temporal phenomena ⋮ Interval temporal logics over strongly discrete linear orders: expressiveness and complexity ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Maintaining knowledge about temporal intervals
• Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
• A critical examination of Allen's theory of action and time
• Intervals and tenses
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
• Temporal constraints: A survey
• Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals
• A propositional modal logic of time intervals
• Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification
• A Road Map of Interval Temporal Logics and Duration Calculi

This page was built for publication: Two-sorted Point-Interval Temporal Logics