On the logic of theory change iteration of KM-update

Eduardo Fermé, Sara Gonçalves. On the logic of theory change iteration of KM-update. Int. J. Approx. Reasoning, 162:109005, November 2023. [doi]

Abstract

Abstract is missing.