Truth and modality for knowledge representation - Turner, Raymond 1947- (MIT Press, 1991)