Algebraic semantics for modal and superintuitionistic non-monotonic logics

DOI10.1080/11663081.2013.798961MaRDI QIDQ4583313zbMATH OpenOpenAlexFDO

Authors

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

equilibrium logicnon-monotonic logicHeyting algebrasBoolean algebras with operators

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3968648 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 478394 (Why is no real title available?)
• scientific article; zbMATH DE number 1145122 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 2113952 (Why is no real title available?)
• A logic for default reasoning
• Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
• Circumscription - a form of non-monotonic reasoning
• Computing coproducts of finitely presented Gödel algebras
• Equilibrium logic
• Finitely generated free MV-algebras and their automorphism groups
• From here to there: Stable negation in logic programming
• Handbook of modal logic
• Logic and structure
• Modal logic
• Non-monotonic logic. I
• Nonmonotonic Logic II
• Nonmonotonic Logics and Their Algebraic Foundations
• On systems of modal logic with provability interpretations
• Semantical considerations on nonmonotonic logic
• Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach

Cited in

(5)

• scientific article; zbMATH DE number 7723711 (Why is no real title available?)
• scientific article; zbMATH DE number 1850738 (Why is no real title available?)
• Algebraic Semantics for Paraconsistent Nelson's Logic
• scientific article; zbMATH DE number 6863637 (Why is no real title available?)
• Algebraic semantics for quasi-Nelson logic

This page was built for publication: Algebraic semantics for modal and superintuitionistic non-monotonic logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4583313)