A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report).

Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald

Browse the full KI paper archive.