Fitting's Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation.

Guillermo Badia, Carles Noguera, Alberto Paparella, Guido Sciavicco, Ionel Eduard Stan

Browse the full TIME paper archive.