POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES

DOI10.1017/S1755020310000213zbMath1233.03027OpenAlexW1971950062MaRDI QIDQ3006006

Juan C. Agudelo, Walter Alexandre Carnielli

Publication date: 10 June 2011

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020310000213

zbMATH Keywords

modal logicpolynomial ring calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (5)

Non-deterministic semantics in polynomial format ⋮ On polynomial semantics for propositional logics ⋮ The method of polynomial ring calculus and its potentialities ⋮ Reconciling First-Order Logic to Algebra ⋮ Polynomial semantics for modal logics

Cites Work

• Unnamed Item
• Equational propositional logic
• Refutational theorem proving using term-rewriting systems
• Intuitionistic logic according to Dijkstra's calculus of equational deduction
• Generalized Non-deterministic Matrices and (n,k)-ary Quantifiers
• Algebraic semantics for modal logics I
• Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler.

This page was built for publication: POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES