TY - RPRT TI - Updating belief functions over Belnap--Dunn logic AU - Sabine Frittella AU - Ondrej Majer AU - Sajad Nazari PY - 2022 UR - https://arxiv.org/abs/2205.15159 ID - 2205.15159 ER -