Advances in modal logic - Kracht, Marcus (CSLI Lecture Notes ;, 1998)