Hybrid fragments of Halpern-Shoham logic and their expressive power
From MaRDI portal
Publication:2334600
DOI10.1016/j.tcs.2019.01.014zbMath1434.03068OpenAlexW2911205979WikidataQ128560191 ScholiaQ128560191MaRDI QIDQ2334600
Publication date: 7 November 2019
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://ora.ox.ac.uk/objects/uuid:363c4d44-aa70-4612-ab4b-c8290c4ef20f
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
- The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
- Expressiveness and completeness of an interval tense logic
- On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures
- Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations
- On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders
- A propositional modal logic of time intervals
- Representation, reasoning, and relational structures: a hybrid logic manifesto
- The computational complexity of hybrid temporal logics
- Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic
- Horn Fragments of the Halpern-Shoham Interval Temporal Logic
- A Road Map of Interval Temporal Logics and Duration Calculi
This page was built for publication: Hybrid fragments of Halpern-Shoham logic and their expressive power