LILaC - paper abstract

Ditmarsch, Hans van and Herzig, Andreas (editors)

Special Issue `Belief revision and dynamic logic'