TY - RPRT TI - A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics AU - Faiq Miftakhul Falakh AU - Sebastian Rudolph AU - Kai Sauerwald PY - 2021 UR - https://arxiv.org/abs/2104.14512 ID - 2104.14512 ER -