Abstract：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.
. A Logic LU for Understanding[J]. Front. Philos. China, 2010, 5(1): 142-153.
LI Xiaowu , GUO Xiangyang, . A Logic LU for Understanding. Front. Philos. China, 2010, 5(1): 142-153.
