Understanding a proposition for an intelligent agent is an important epistemic concept. We first discuss intuitively general logic characteristics of understanding, and give a language and a semantics containing understanding as a modal operator. Secondly, we develop the system LU for the operator, give some results of its proof theory, and then we prove the frame soundness and frame completeness of LU.
展开▼