Text this: Self-reference and modal logic / C. Smoryński.