A Logic LU for Understanding
LI Xiao-wu, Guo Xiangyang · Frontiers of Philosophy in China · 2010
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.