On distances between KD45_n Kripke models and their use for belief revision

DOI10.3233/978-1-61499-672-9-1053MaRDI QIDQ4576236zbMATH OpenFDO

Authors Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis

Publication date 12 July 2018

Mathematics Subject Classification ID

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

Recommendations

• Distance semantics for belief revision
• Prolegomena to dynamic logic for belief revision
• Distance-Based Semantics for C-Structure Belief Revision
• Communication among agents: a way to revise beliefs in KD45 Kripke structures
• Consistency-based revision of structured belief bases

Cited in

(4)

• A general multi-agent epistemic planner based on higher-order belief change
• Further Steps Towards a Logic of Polarization in Social Networks
• A distance measure for bounding probabilistic belief change
• Distance semantics for belief revision

This page was built for publication: On distances between KD45\(_n\) Kripke models and their use for belief revision

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