TY - RPRT TI - A Kripke-Lewis semantics for belief update and belief revision AU - Giacomo Bonanno PY - 2023 UR - https://arxiv.org/abs/2310.11506 ID - 2310.11506 ER -