Propositional Dynamic Logic as a Logic of Belief Revision

DOI10.1007/978-3-540-69937-8_13MaRDI QIDQ3511454zbMATH OpenOpenAlexFDO

Authors Jan van Eijck, Yanjing Wang

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 revisionepistemic dynamic logicknowledge updatePDL

Mathematics Subject Classification ID

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

Recommendations

• Dynamic logic for belief revision
• A qualitative theory of dynamic interactive belief revision
• A qualitative theory of dynamic interactive belief revision
• Prolegomena to dynamic logic for belief revision
• Belief revision and dynamic logic

Cites work

• A qualitative theory of dynamic interactive belief revision
• An elementary proof of the completeness of PDL
• Conditional doxastic models: a qualitative approach to dynamic belief revision
• Dynamic logic for belief revision
• Dynamic logic of preference upgrade
• scientific article; zbMATH DE number 3869303 (Why is no real title available?)
• scientific article; zbMATH DE number 5734950 (Why is no real title available?)
• Logics for epistemic programs
• Logics of communication and change
• Operating systems. An advanced course
• The logic of public announcements, common knowledge, and private suspicions

Cited in

(12)

• Merging frameworks for interaction
• The many faces of closure and introspection. An ineractive perspective
• Dynamic epistemic logic for implicit and explicit beliefs
• Dynamic logic of propositional commitments
• A Note on Reliability-Based Preference Dynamics
• Propositional logic based on the dynamics of belief
• scientific article; zbMATH DE number 1301760 (Why is no real title available?)
• scientific article; zbMATH DE number 1931647 (Why is no real title available?)
• In memory of Jasu Magan Bhana Panchia (1963--1991): iterated belief revision in dynamic doxastic logic
• Dynamic epistemic logics
• Incremental reasoning on monadic second-order logics with logic programming
• The language of social software

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3511454)