Polinomial Ring Calculus for Modalities
AbstractThis paper investigates new algebraic resolution methods for the modal logics K, KD, T, S4, S5 and for intuitionictic logic. The methods are based on the Polynomial Ring Calculus introduced by Carnielli in 2005, and extend the results obtained by Agudelo and Carnielli in 2011. Several examples are provided, as well as a comparison with other methods.
Download data is not yet available.