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.
Note: Please be aware that the following content is generated by artificial intelligence. This website is not responsible for any consequences arising from the use of this content.
PDF
(878KB)
