How to update neighbourhood models
Minghui Ma, Katsuhiko Sano · Journal of Logic and Computation · 2015
This article studies two ways of updating neighbourhood models: updating by taking the intersection of the neighbourhoods with the announced proposition, and updating by selecting all the neighbourhoods that can entail the announced proposition. For each of these two ways, we establish reduction axioms, some model-theoretic results and algebraic semantics for public announcement logic, and dynamic epistemic logic of product update. We also study various concepts of group knowledge, including general knowledge, common knowledge, and distributed knowledge over neighbourhood models.