Distance semantics for belief revision

DOI10.2307/2694923zbMath0985.03012arXivcs/0202025OpenAlexW1988484875MaRDI 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

zbMATH Keywords

pseudo-distancesemanticiterated revisionAGM theory of belief revision

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items

Semantic interpolation, Iterated descriptor revision and the logic of Ramsey test conditionals, Iterated Contraction Based on Indistinguishability, Graph-Based Belief Merging, METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS, Reasoning with Uncertainty by Nmatrix–Metric Semantics, Geodesic merging, Interpreting enthymematic arguments using belief revision, Distance semantics for database repair, Confluence operators and their relationships with revision, update and merging, A dissimilarity-based framework for generating inconsistency-tolerant logics, 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, A comment on work by Booth and co-authors, Simplified forms of computerized reasoning with distance semantics, A theory of hierarchical consequence and conditionals, Distance-based paraconsistent logics, Merging First-Order Knowledge Using Dilation Operators, Explaining updates by minimal sums, A Note on Cumulative Stereotypical Reasoning, Roadmap for preferential logics, Characterizability in Horn Belief Revision, A model of minimal probabilistic belief revision, Independence -- revision and defaults, A Panorama of Iterated Revision, New techniques and completeness results for preferential structures

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