A system of dynamic modal logic / Maarten de Rijke