Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings

Christoph Beierle, Jonas Haldimann. Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings. Annals of Mathematics and Artificial Intelligence, 90(2):149-179, 2022. [doi]

Abstract

Abstract is missing.