Polynomial ring calculus for modal logics: a new semantics and proof method for modalities
(Juan C. Agudelo, Walter Carnielli )

The final version of this paper is published as:
Juan C. Agudelo and Walter Carnielli
The Review of Symbolic Logic, Volume 4, Issue 01, March 2011, pp. 150-170
DOI: http://dx.doi.org/10.1017/S1755020310000213

Published: 2017-09-22