1.
Model Checking Web Services Based on Temporal Logic of Knowledge
基于时态认知逻辑的Web服务模型检测
2.
Symbolic Model Checking Algorithm for Temporal Epistemic Logic CTL*K
时态认知逻辑CTL*K的符号化模型检查算法
3.
Logic, Mind and Cognition--On the Development of Logic in the post-Frege Time;
逻辑、心理与认知——论后弗雷格时代逻辑学的发展
4.
Research on Knowledge Reasoning in Multi-Agent System Based on Dynamic Epistemic Logic
基于动态认知逻辑的多主体系统知识推理研究
5.
Multi-possibility Logic and Aesthetic Logic: --On the Logical Base of Aesthetic Cognition;
多值逻辑与审美逻辑——论审美认知的逻辑基础
6.
the modal logic of knowledge and uncertainty and ignorance.
讨论知识,怀疑,与无知的模态逻辑。
7.
logic of understanding and logic of reason
知性逻辑与理性逻辑
8.
On Logical Acknowledge of Lyric Prose Teaching in Middle School;
论抒情散文在中学教学中的逻辑认知
9.
THE RELATIONSHIP BETWEEN COLLEGE STUDENTS COGNITIVE STYLE AND REASONING;
大学生的认知风格与逻辑推理的关系
10.
Tri-partitioning of Epistemic Worlds and Independence of Doubting Logic;
三分的认知世界与怀疑逻辑的独立性
11.
Cognition Logic and the Development of Ethical Theories;
从认知逻辑视角看西方伦理学的发展
12.
Non-logic cognition: a cybernetic view on education innovation;
非逻辑认知:教育创新的控制论观点
13.
Logic Discipline:an Avenue to Better Cognitive Structure;
形式逻辑训练:优化认知结构的途径
14.
A Solution to Hume s Problem Based on Cognitive Logic;
认知逻辑——对休谟问题的一种解决方案
15.
The Grammar Logic Orienting the Cognition and Function Features of Chinese Language
面向汉语认知与功能特征的语法逻辑
16.
Study of an Epistemic Description Logic with Transitive Roles
一种带传递关系的认知描述逻辑研究
17.
Study on One-agent Cognitive Logic;
单主体认知逻辑的研究——全知性和真知性
18.
On A.M.S Boethius "Modalities" Logic and God s Omens;
论波爱修斯的模态逻辑与上帝的预知