Two-sorted point-interval temporal logics

DOI10.1016/J.ENTCS.2011.10.004MaRDI QIDQ2825405zbMATH OpenOpenAlexWikidataFDO

Authors Philippe Balbiani, Guido Sciavicco, Valentin 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

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

Recommendations

• An integrated first-order theory of points and intervals over linear orders. I
• scientific article; zbMATH DE number 6131597
• scientific article; zbMATH DE number 834564
• A New Modal Approach to the Logic of Intervals
• Concerted instant-interval temporal semantics. I: Temporal ontologies

Cites work

• A critical examination of Allen's theory of action and time
• A propositional modal logic of time intervals
• A Road Map of Interval Temporal Logics and Duration Calculi
• Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification
• scientific article; zbMATH DE number 834564 (Why is no real title available?)
• Intervals and tenses
• Maintaining knowledge about temporal intervals
• Maximal decidable fragments of Halpern and Shoham's modal logic of intervals
• Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
• Temporal constraints: A survey
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.

Cited in

(9)

• Concerted instant-interval temporal semantics. I: Temporal ontologies
• A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
• An integrated first-order theory of points and intervals over linear orders. I
• scientific article; zbMATH DE number 4121966 (Why is no real title available?)
• Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
• scientific article; zbMATH DE number 834564 (Why is no real title available?)
• An integrated first-order theory of points and intervals over linear orders. II
• Fuzzy Halpern and Shoham's interval temporal logics
• Representation and processing of instantaneous and durative temporal phenomena

This page was built for publication: Two-sorted point-interval temporal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2825405)