Extending modal logic by M. de Rijke