How has belief modality contributed to formal semantics?