Infinitary belief revision

DOI10.1023/A:1013356315540zbMath0992.03024OpenAlexW2122708620MaRDI QIDQ5960011

Norman Y. Foo, Dong-Mo Zhang

Publication date: 11 April 2002

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1013356315540

zbMATH Keywords

belief revisionbelief contractiontheory changefirst-order belief changeinfinitary belief changemultiple belief change

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (9)

Parallel belief revision: revising by sets of formulas ⋮ Prioritized and non-prioritized multiple change on belief bases ⋮ Conditional ranking revision. Iterated revision with sets of conditionals ⋮ Comparative possibility in set contraction ⋮ System of spheres-based multiple contractions ⋮ Rational metabolic revision based on core beliefs ⋮ Rational evaluation in belief revision ⋮ Multiple and iterated contraction reduced to single-step single-sentence contraction ⋮ Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result

Cites Work

• Two modellings for theory change
• A survey of multiple contractions
• Nonmonotonic reasoning: From finitary relations to infinitary inference operations
• On the Semantics of Arbitration
• On the logic of theory change: Partial meet contraction and revision functions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Infinitary belief revision