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