Propositional Dynamic Logic as a Logic of Belief Revision

DOI10.1007/978-3-540-69937-8_13zbMath1156.03016OpenAlexW2123995701MaRDI QIDQ3511454

Yanjing Wang, Jan van Eijck

Publication date: 10 July 2008

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69937-8_13

zbMATH Keywords

belief revisionPDLepistemic dynamic logicknowledge update

Mathematics Subject Classification ID

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

Related Items (7)

A Note on Reliability-Based Preference Dynamics ⋮ The language of social software ⋮ The many faces of closure and introspection. An ineractive perspective ⋮ Dynamic epistemic logic for implicit and explicit beliefs ⋮ Incremental reasoning on monadic second-order logics with logic programming ⋮ Merging frameworks for interaction ⋮ Dynamic Epistemic Logics

Cites Work

• Logics of communication and change
• An elementary proof of the completeness of PDL
• Operating systems. An advanced course
• Logics for epistemic programs
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Dynamic logic for belief revision
• Dynamic logic of preference upgrade
• Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Propositional Dynamic Logic as a Logic of Belief Revision