The next step forward is providing a tableau system able to handle many-valued multi-modal logic based on FLew-algebras.
This can be seen as a further generalization of the tableau for many-valued Halpern and Shoham's interval temporal logic which the package is already providing.
Such tableau will be in a file src/manyvaluedmultimodaltableau.jl containing the tableau system for many-valued multi-modal logic, with function taking as input (among others) both a FLew-algebra and a multi-modal logic; supported multi-modal logic for the moment will be linear temporal logic with future and past LTL[F,P], compass logic CL, Halpern and Shoham's modal logic of time intervals HS and Lutz and Wolter's modal logic of topological relations LRCC8.
The next step forward is providing a tableau system able to handle many-valued multi-modal logic based on FLew-algebras.
This can be seen as a further generalization of the tableau for many-valued Halpern and Shoham's interval temporal logic which the package is already providing.
Such tableau will be in a file
src/manyvaluedmultimodaltableau.jlcontaining the tableau system for many-valued multi-modal logic, with function taking as input (among others) both a FLew-algebra and a multi-modal logic; supported multi-modal logic for the moment will be linear temporal logic with future and past LTL[F,P], compass logic CL, Halpern and Shoham's modal logic of time intervals HS and Lutz and Wolter's modal logic of topological relations LRCC8.