Knowledge and Proof: A Multimodal Pragmatic Language