Propositional Dynamic Logic as a Logic of Belief Revision.

Jan van Eijck, Yanjing Wang

Browse the full WoLLIC paper archive.