Action Theory Contraction and Minimal Change
Article by Ivan José Varzinczak, postdoc researcher in artificial intelligence at universities in France and South Africa, building on Propositional Dynamic Logic.