Truth and modality for knowledge representation - Turner, Raymond (London Pitman Publishing, 1990)
Keywords: Knowledge, Theory Of; Artificial Intelligence