Self-reference and modal logic - Smorynski, C. (New York...[et al.] : Spring Verlag, 1985)