Self-reference and modal logic (1985)

by C Smorynski