Polynomial ring calculus for modalities

DOI10.1093/logcom/exv069zbMath1444.03038OpenAlexW2590516725MaRDI QIDQ3133185

Juan C. Agudelo-Agudelo, Walter Alexandre Carnielli

Publication date: 13 February 2018

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/76010706fc016d04d8b9ff492b8db4cd3c80f79b

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

On polynomial semantics for propositional logics ⋮ Polynomial semantics for modal logics ⋮ REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION

This page was built for publication: Polynomial ring calculus for modalities