Distance semantics for belief revision
From MaRDI portal
Publication:2732280
DOI10.2307/2694923zbMath0985.03012arXivcs/0202025MaRDI QIDQ2732280
Menachem Magidor, Karl Schlechta, Daniel J. Lehmann
Publication date: 13 May 2002
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/cs/0202025
03B42: Logics of knowledge and belief (including belief change)
Related Items
New techniques and completeness results for preferential structures, A Panorama of Iterated Revision, Merging First-Order Knowledge Using Dilation Operators, Explaining updates by minimal sums, METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS, Iterated descriptor revision and the logic of Ramsey test conditionals, Interpreting enthymematic arguments using belief revision, AGM 25 years. Twenty-five years of research in belief change, How to revise a total preorder, A framework for reasoning under uncertainty based on non-deterministic distance semantics, Simplified forms of computerized reasoning with distance semantics, A comment on work by Booth and co-authors, A model of minimal probabilistic belief revision, Independence -- revision and defaults, Geodesic merging, Confluence operators and their relationships with revision, update and merging, A dissimilarity-based framework for generating inconsistency-tolerant logics, A theory of hierarchical consequence and conditionals, Distance-based paraconsistent logics, Distance semantics for database repair, Characterizability in Horn Belief Revision, Semantic interpolation, Iterated Contraction Based on Indistinguishability, Graph-Based Belief Merging, Reasoning with Uncertainty by Nmatrix–Metric Semantics, A Note on Cumulative Stereotypical Reasoning, Roadmap for preferential logics
Cites Work
- Unnamed Item
- Counterfactuals and comparative possibility
- Nonmonotonic reasoning, preferential models and cumulative logics
- What does a conditional knowledge base entail?
- On the logic of iterated belief revision
- Unrestricted preferential structures
- New techniques and completeness results for preferential structures
- Preferred history semantics for iterated updates
- Some Results on Classical Preferential Models