Willem Conradie, Riccardo Monego, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan. A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic. In Alexander Artikis, Florian Bruse, Luke Hunsberger, editors, 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece. Volume 278 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]
Abstract is missing.