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

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

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

Publication date: 12 July 2018

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

Mathematics Subject Classification ID

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

Cited In (4)

• A distance measure for bounding probabilistic belief change
• A general multi-agent epistemic planner based on higher-order belief change
• Further Steps Towards a Logic of Polarization in Social Networks
• 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)