The Procedures for Belief Revision

DOI10.1007/978-1-4020-9084-4_13zbMath1158.03010OpenAlexW2226401284MaRDI QIDQ3600572

Piotr Łukowski

Publication date: 5 February 2009

Published in: Towards Mathematical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-9084-4_13

zbMATH Keywords

contractionintuitionistic logicnonmonotonic reasoningclassical logicrevisionHeyting-Brouwer logicconsequence operationselimination operationsdual consequence operationslogic of falsehoodlogic of truth

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• The method of axiomatic rejection for the intuitionistic propositional logic
• Theory of logical calculi. Basic theory of consequence operations
• On closed elements in closure algebras
• On the logic of theory change: Partial meet contraction and revision functions
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• A deductive-reductive form of logic: General theory and intuitionistic case
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The Procedures for Belief Revision