Self-reference and modal logic - Smorynski, C. (Universitext, 1985)