Advances in modal logic - Kracht, Marcus (CSLI lecture notes, 1998)