Tools and techniques in modal logic - Kracht, Marcus (Elsevier, 1999)