Truth and Modality for Knowledge Representation