Algebraic semantics for modal and superintuitionistic non-monotonic logics

DOI10.1080/11663081.2013.798961zbMath1398.03096OpenAlexW2086416232MaRDI QIDQ4583313

No author found.

Publication date: 28 August 2018

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

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

zbMATH Keywords

Heyting algebrasBoolean algebras with operatorsnon-monotonic logicequilibrium logic

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Equilibrium logic
• Semantical considerations on nonmonotonic logic
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Non-monotonic logic. I
• Finitely generated free MV-algebras and their automorphism groups
• Computing coproducts of finitely presented Gödel algebras
• Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach
• Nonmonotonic Logics and Their Algebraic Foundations
• On systems of modal logic with provability interpretations
• Nonmonotonic Logic II
• Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
• Logic and structure