Propositional dynamic logic as a logic of belief revision

Van Eijck, Jan and Wang, Yanjing
In Proceedings of WOLLIC 2008, 2008
Publication year: 2008