Fitting’s Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation
Published in 31st International Symposium on Temporal Representation and Reasoning (TIME 2024), Montpellier, France, 28-30 October 2024., 2024
Theory and implementation of a Fitting’s style tableau system for Many-Valued Interval Temporal Logic.
Recommended citation: Badia, Guillermo, Noguera, Carles, Paparella, Alberto, Sciavicco, Guido, and Stan, Eduard I. (2024). "Fitting's Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation." 31st International Symposium on Temporal Representation and Reasoning (TIME 2024), Montpellier, France, 28-30 October 2024.. 1(1).