Belief revision, conditional logic and nonmonotonic reasoning

DOI10.1305/ndjfl/1040308829zbMath0834.03008OpenAlexW2092435617MaRDI QIDQ1903579

Wayne Wobcke

Publication date: 31 March 1996

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1040308829

zbMATH Keywords

belief revisionconditionalsnonmonotonic reasoningcomputabilitybelief changeiterated revisionAGMepistemic entrenchment relations

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (4)

Adaptively applying modus ponens in conditional logics of normality ⋮ Default Rules in the Logic of First-Degree Entailments ⋮ An information-based theory of conditionals ⋮ The co-occurrence test for non-monotonic inference

Cites Work

• Theory contraction through base contraction
• Conditional entailment: bridging two approaches to default reasoning.
• Semantical considerations on nonmonotonic logic
• On the status of the postulate of recovery in the logic of theory change
• Variations on the Ramsey test: More triviality results
• Two modellings for theory change
• Reasoning about action. I: A possible worlds approach
• An approach to default reasoning based on a first-order conditional logic: Revised report
• A logical framework for default reasoning
• A first-order conditional logic for prototypical properties
• Nonmonotonic reasoning, preferential models and cumulative logics
• Belief contraction without recovery
• Epistemic semantics for counterfactuals
• What does a conditional knowledge base entail?
• Preferential belief change using generalized epistemic entrenchment
• From ordering-based nonmonotonic reasoning to conditional logics
• Foundational belief change
• On the logic of iterated belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• New operators for theory change
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Belief revision, conditional logic and nonmonotonic reasoning