Horn Fragments of the Halpern-Shoham Interval Temporal Logic
From MaRDI portal
Publication:5369240
DOI10.1145/3105909zbMath1407.03029arXiv1604.03515OpenAlexW3124696891MaRDI 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
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
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
