POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES

JUAN C. AGUDELO, WALTER CARNIELLI
  • The Review of Symbolic Logic, September 2010, Cambridge University Press
  • DOI: 10.1017/s1755020310000213

The authors haven't finished explaining this publication. If you are the author, sign in to claim or explain your work.

Read Publication

http://dx.doi.org/10.1017/s1755020310000213

The following have contributed to this page: Professor Walter Carnielli