During the first ten years of his scientific career Maarten de Rijke worked on formal .
During the first ten years of his scientific career Maarten de Rijke applied aspects of modal logic .
During the first ten years of his scientific career Maarten de Rijke worked on formal and applied aspects of modal logic .