Hybrid fragments of Halpern-Shoham logic and their expressive power

DOI10.1016/j.tcs.2019.01.014zbMath1434.03068OpenAlexW2911205979WikidataQ128560191 ScholiaQ128560191MaRDI QIDQ2334600

Przemysław Andrzej Wałęga

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

zbMATH Keywords

hybrid logictemporal logicexpressive powerinterval logicHalpern-Shoham logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Temporal logic (03B44)

Related Items (1)

Computational complexity of hybrid interval temporal logics

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