Highly Influential

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.

### Presentations referencing similar topics