Modal Logic by Patrick Blackburn & Maarten de Rijke