Polynomial ring calculus for modalities

摘要

This article investigates new algebraic proof methods for the modal logics K, KD, T, S4, S5 and for intuitionistic logic. The methods are based on the Polynomial Ring Calculus introduced in [6], and extend the results obtained in [1]. Several examples are provided, as well as a comparison with other methods.