Horn Fragments of the Halpern-Shoham Interval Temporal Logic

DOI10.1145/3105909zbMath1407.03029arXiv1604.03515OpenAlexW3124696891WikidataQ130844076 ScholiaQ130844076MaRDI QIDQ5369240

Guido Sciavicco, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Davide Bresolin, Agi Kurucz, Michael Zakharyashchev

Publication date: 16 October 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1604.03515

zbMATH Keywords

computational complexitymodal logictemporal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Undecidability and degrees of sets of sentences (03D35) Temporal logic (03B44)

Related Items (8)

Fuzzy Halpern and Shoham's interval temporal logics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic ⋮ On coarser interval temporal logics ⋮ Computational complexity of hybrid interval temporal logics ⋮ Hybrid fragments of Halpern-Shoham logic and their expressive power

This page was built for publication: Horn Fragments of the Halpern-Shoham Interval Temporal Logic