Research articles

A Logic LU for Understanding

Expand
  • Institute of Logic and Cognition, Sun Yat-Sen University, Guangzhou 510275, China;

Published date: 05 Mar 2010

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.

Cite this article

LI Xiaowu , GUO Xiangyang, . A Logic LU for Understanding[J]. Frontiers of Philosophy in China, 2010 , 5(1) : 142 -153 . DOI: 10.1007/s11466-010-0008-3

Outlines

/