Self reference and modal logic - Smoryński, Craig 1947- (Springer, 1985)