2026-07-23T05:31:17Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:21214 2024-10-22T05:39:58Z ddc:004 open_access

Fitting’s Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation Badia, Guillermo Noguera, Carles Paparella, Alberto Sciavicco, Guido Stan, Ionel Eduard Interval temporal logic many-valued logic tableau system Many-valued logics, often referred to as fuzzy logics, are a fundamental tool for reasoning about uncertainty, and are based on truth value algebras that generalize the Boolean one; the same logic can be interpreted on algebras from different varieties, for different purposes and pose different challenges. Although temporal many-valued logics, that is, the many-valued counterpart of popular temporal logics, have received little attention in the literature, the many-valued generalization of Halpern and Shoham’s interval temporal logic has been recently introduced and studied, and a sound and complete tableau system for it has been presented for the case in which it is interpreted on some finite Heyting algebra. In this paper, we take a step further in this inquiry by exploring a tableau system for Halpern and Shoham’s interval temporal logic interpreted on some finite {FL_{ew}}-algebra, therefore generalizing the Heyting case, and by providing its open-source implementation. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Guillermo Badia and Carles Noguera and Alberto Paparella and Guido Sciavicco and Ionel Eduard Stan 2024 Is Part Of LIPIcs, Volume 318, 31st International Symposium on Temporal Representation and Reasoning (TIME 2024) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.TIME.2024.7 urn:nbn:de:0030-drops-212145 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.7 eng https://creativecommons.org/licenses/by/4.0/legalcode