Abstract
AGM's belief revision is one of the main paradigms in the study of belief change operations. Recently, several logics for belief and information change have been proposed in the literature. They have been used to encode belief change operations in rich and expressive semantic frameworks. While the connection of AGM-like operations and their encoding in dynamic doxastic logics has been studied before by the exceptional work of Segerberg, most work on the area of Dynamic Epistemic Logics (DEL) has not attempted to characterise belief change operators by means of their logical properties. This work investigates how Dynamic Preference Logic, a logic in the DEL family, can be used to characterise properties of dynamic belief change operators, focusing on well-known postulates of iterated belief change.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.