2026-07-19T22:58:45Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:19099 2024-03-06T11:03:11Z ddc:004 open_access

A Sound and Complete Tableau System for Fuzzy Halpern and Shoham’s Interval Temporal Logic Conradie, Willem Monego, Riccardo Muñoz-Velasco, Emilio Sciavicco, Guido Stan, Ionel Eduard Interval temporal logic many-valued logic tableau system Interval temporal logic plays a critical role in various applications, including planning, scheduling, and formal verification; recently, interval temporal logic has also been successfully applied to learning from temporal data. Halpern and Shoham’s interval temporal logic, in particular, stands out as a very intuitive, yet expressive, interval-based formalism. To address real-world scenarios involving uncertainty and imprecision, Halpern and Shoham’s logic has been recently generalized to the fuzzy (many-valued) case. The resulting language capitalizes on many-valued modal logics, allowing for a range of truth values that reflect multiple expert perspectives, but inherits the bad computational behaviour of its crisp counterpart. In this work, we investigate a sound and complete tableau system for fuzzy Halpern and Shoham’s logic, which, although possibly non-terminating, offers a semi-decision procedure for the finite case. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Willem Conradie and Riccardo Monego and Emilio Muñoz-Velasco and Guido Sciavicco and Ionel Eduard Stan 2023 Is Part Of LIPIcs, Volume 278, 30th International Symposium on Temporal Representation and Reasoning (TIME 2023) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.TIME.2023.9 urn:nbn:de:0030-drops-190996 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.9 eng https://creativecommons.org/licenses/by/4.0/legalcode