Polynomial ring calculus for modalities
Juan C. Agudelo-Agudelo, Walter Alexandre Carnielli · Journal of Logic and Computation · 2015
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: [email protected] 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: [email protected] 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