On expressiveness of Halpern-Shoham logic and its Horn fragments

DOI10.4230/LIPICS.TIME.2017.22MaRDI QIDQ6487472zbMATH OpenFDO

Authors Przemyslaw Andrzej Walega

Publication date 3 February 2023

Full work available at URL https://doi.org/10.4230/LIPICS.TIME.2017.22

zbMATH Keywords

expressivenesshybrid logicinterval logictemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• Hybrid fragments of Halpern-Shoham logic and their expressive power
• Computational complexity of a core fragment of Halpern-Shoham logic
• Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic
• Horn fragments of the Halpern-Shoham interval temporal logic
• Sub-propositional fragments of the interval temporal logic of Allen's relations

Cited in

(8)

• A characterization of belief merging operators in the regular Horn fragment of signed logic
• Computational complexity of hybrid interval temporal logics
• Expressiveness and completeness of an interval tense logic
• Hybrid fragments of Halpern-Shoham logic and their expressive power
• Computational complexity of a core fragment of Halpern-Shoham logic
• Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic
• Horn fragments of the Halpern-Shoham interval temporal logic
• Fuzzy Halpern and Shoham's interval temporal logics

This page was built for publication: On expressiveness of Halpern-Shoham logic and its Horn fragments

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