Interval temporal logic HS with path quantifiers

DOI10.1007/978-981-95-2481-5_6MaRDI QIDQ6860361zbMATH OpenFDO

Authors Yanjun Li, Shuyuan Li

Publication date 10 February 2026

Full work available at URL https://doi.org/10.1007/978-981-95-2481-5_6

zbMATH Keywords

branching interval modelsexpressivityinterval temporal logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
• A general tableau method for propositional interval temporal logics: theory and implementation
• A Modal Logic for Chopping Intervals
• A propositional modal logic of time intervals
• A Road Map of Interval Temporal Logics and Duration Calculi
• An adequate first order interval logic
• Expressiveness and completeness of an interval tense logic
• scientific article; zbMATH DE number 1696444 (Why is no real title available?)
• scientific article; zbMATH DE number 6131597 (Why is no real title available?)
• Interval vs. point temporal logic model checking. An expressiveness comparison
• Maintaining knowledge about temporal intervals
• Multi-dimensional modal logic
• The decision problem for branching time logic
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.

This page was built for publication: Interval temporal logic HS with path quantifiers

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