Belief revision, conditional logic and nonmonotonic reasoning
From MaRDI portal
Publication:1903579
DOI10.1305/ndjfl/1040308829zbMath0834.03008OpenAlexW2092435617MaRDI QIDQ1903579
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
belief revisionconditionalsnonmonotonic reasoningcomputabilitybelief changeiterated revisionAGMepistemic entrenchment relations
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