Modal Logic door Patrick Blackburn & Maarten de Rijke