关键词模态逻辑，认识逻辑，语义tableau，证明理论. [gap=489]Keywords Modal logic，epistemic logic，semantic tableau，proof theory.
基于8个网页-相关网页
The reasoning methods that rise by AR have been applied widespreadly. Semantic tableau was put forward by Beth(1959),Hintikka(1955),and then be introduction to automated theorem proving.
其中的语义tableau方法是由Beth(1959)、Hintikka(1955)提出,而后引入到自动定理证明中。
参考来源 - Tableau基础理论及应用研究·2,447,543篇论文数据，部分数据来源于NoteExpress
N a method of demonstrating the consistency or otherwise of a set of statements by constructing a diagrammatic representation of all the circumstances that satisfy the set of statements 语义场景表 [logic]
应用推荐