Polynomial ring calculus for modalities

DOI10.1093/LOGCOM/EXV069zbMATH Open1444.03038OpenAlexW2590516725MaRDI QIDQ3133185FDOQ3133185

Authors: Juan C. Agudelo-Agudelo, Walter 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

Recommendations

• Polynomial ring calculus for modal logics: a new semantics and proof method for modalities
• The method of polynomial ring calculus and its potentialities
• Polynomial semantics for modal logics
• Multi-valued logic and Gröbner bases with applications to modal logic
• Rings used in modal logic and their radicals

Mathematics Subject Classification ID

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

Cited In (6)

• Rings used in modal logic and their radicals
• On polynomial semantics for propositional logics
• Polynomial semantics for modal logics
• REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
• Polynomial ring calculus for modal logics: a new semantics and proof method for modalities
• The method of polynomial ring calculus and its potentialities

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3133185)