Polynomial ring calculus for modalities

DOI10.1093/LOGCOM/EXV069MaRDI QIDQ3133185zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(6)

• Rings used in modal logic and their radicals
• Polynomial ring calculus for modal logics: a new semantics and proof method for modalities
• On polynomial semantics for propositional logics
• REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
• Polynomial semantics for modal logics
• 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)