Extending modal logic door M. de Rijke