A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic. - Willem Conradie; Riccardo Monego; Emilio Muñoz-Velasco; Guido Sciavicco; Ionel Eduard Stan (TIME, 2023)