Journal Article Polynomial ring calculus for modalities Get access Juan C. Agudelo-Agudelo, Juan C. Agudelo-Agudelo *Institute of Mathematics, University of Antioquia, Medellin, Colombia. E-mail: juan.agudelo9@udea.edu.co Search for other works by this author on: Oxford Academic Google Scholar Walter Carnielli Walter Carnielli *Centre for Logic, Epistemology and the History of Science – CLE and Department of Philosophy – State University of Campinas, Campinas, SP, Brazil. E-mail: walter.carnielli@unicamp.br Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 27, Issue 6, September 2017, Pages 1853–1870, https://doi.org/10.1093/logcom/exv069 Published: 16 October 2015 Article history Received: 07 November 2014 Published: 16 October 2015