Comprehension and Knowledge

Abstract The ability of an agent to comprehend a sentence is tightly connected to the agent’s prior experiences and background knowledge. The article suggests to interpret comprehension as a modality and proposes a complete bimodal logical system that describes an interplay between comprehension and knowledge modalities. The main technical result is a completeness theorem for the proposed system