A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic.

Willem Conradie, Riccardo Monego, Emilio Muoz-Velasco, Guido Sciavicco, Ionel Eduard Stan

Browse the full TIME paper archive.