Polynomial ring calculus for modalities

DOI10.1093/LOGCOM/EXV069MaRDI QIDQ3133185zbMATHOpenAlexFDO

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

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

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)

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