Mathematics of modality - Goldblatt, Robert 1949- (Center for the Study of Language and Information, 1993)