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