Polynomial semantics for modal logics

DOI10.1080/11663081.2019.1676004zbMath1444.03039OpenAlexW2980859210MaRDI QIDQ5243399

Juan C. Agudelo-Agudelo, Santiago Echeverri-Valencia

Publication date: 18 November 2019

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2019.1676004

zbMATH Keywords

modal logicGröbner basispolynomial semanticsmodal polynomials

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Uses Software

• PolyBoRi

Cites Work

• Unnamed Item
• Unnamed Item
• Boolean Gröbner bases
• Multi-valued logic and Gröbner bases with applications to modal logic
• The method of polynomial ring calculus and its potentialities
• Polybori: A framework for Gröbner-basis computations with Boolean polynomials
• A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
• A polynomial model for logics with a prime power number of truth values
• POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES
• Polynomial ring calculus for modalities
• On polynomial semantics for propositional logics

This page was built for publication: Polynomial semantics for modal logics