Polynomial ring calculus for modalities

Abstract

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. 
DOI: 10.1093/logcom/exv069

Topics

  • Presentations referencing similar topics