KR2026Proceedings of the 23rd International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning

Lisbon, Portugal. July 20-23, 2026.

Edited by
  1. Renata Wassermann
  2. Marie-Laure Mugnier
  3. Franz Baader

ISSN: 2334-1033
ISBN: 978-1-956792-18-8

Sponsored by
Published by

Copyright © 2026 International Joint Conferences on Artificial Intelligence Organization

Suspending Judgement: Belief Contraction in Dynamic Epistemic Logic

  1. Alexandru Baltag(Institute for Logic, Language and Computation; University of Amsterdam)
  2. Virginie Fiutek(Independent Researcher)
  3. Sonja Smets(Institute for Logic, Language and Computation; University of Amsterdam)
PDF
BibTeX
https://doi.org/10.24963/kr.2026/10

Keywords

  1. null-Multi-Agent Belief Contraction
  2. null-Dynamic Epistemic Logic
  3. null-Epistemic plausibility models

Abstract

We look at multi-agent versions of three different belief contraction operations (severe withdrawal, conservative contraction and moderate contraction), considering them as dynamic

operations on plausibility models, meant to represent joint actions of “suspension of belief” by groups of agents (or by individual agents). We provide sound and complete axiomatizations, in the presence of standard static operators such as conditional belief, knowledge and safe belief.