Title: Self-reference and modal logic
Subjects: Modality (Logic), Mathematics, Symbolic and mathematical Logic