Truth and modality for knowledge representation