您要查找的是不是：
- In this paper,we introduce the cognition of actions on the basis of the commonly dynamic epistemic logics. 在通常的动态认知逻辑的基础上,引进对动作的认知。
- Keywords dynamic epistemic logic;group knowledge;relativized common knowledge;group implicit knowledge;public announcement logic;action model logic; 动态认知逻辑;群体知识;相对化公共知识;群体隐含知识;公开宣告逻辑;行动模型逻辑;
- dynamic epistemic logic 动态认知逻辑
- Scholars in different fields, such as epistemic logic, public choice and methodology of science, discuss group reasoning and problems concerned, e.g. rationality of group. 许多领域（如认知逻辑、公共选择理论、科学方法论）中的学者在不同程度上探讨群体推理的逻辑以及探讨群体推理相关的问题如群体理性问题。
- Deniable epistemic logic is an important tool used in the activities such as judging precisely, making decisions, and excluding fallacies, whose establishment helps to keep a clear thinking. 拒斥认知逻辑的建立有利于保持思维的明晰性，拒斥认知逻辑是精确判断、做出决策、排除谬误等活动的重要工具。
- On some Problems in the Research on Epistemic Logic 试论认知逻辑研究中的若干问题
- EPISTEMIC LOGIC (2):MULTI-AGENT EPISTEMIC LOGIC MEL 认识逻辑(2):多认识主体的认识逻辑MEL
- The present paper deals with the logical omniscience problem in epistemic logic and the methods to resolve it and presents a kind of epistemic logic called EL, which can avoid the logical omniscience, and gives its semantic rules and its axioms. 摘要分析认知逻辑中的逻辑全知问题及其解决方法，提出一种可以避免逻辑全知的认知逻辑EL，并给出其语义和公理系统。
- Epistemic Logic and Epistemology: the State of Their Affairs 认知逻辑与认识论之研究现状
- EPISTEMIC LOGIC(4): ON THE DECIDABILITY OF EPISTEMIC LOGIC 认识逻辑(4):关于认识逻辑的可判定性
- A Predicate System of Epistemic Logic with Bacon-formula 包含巴肯公式的认知谓词逻辑系统
- Reasoning Inconsistency among Viewpoints Using Temporal Epistemic Logic 多视点间不一致性的认知推理
- We are looking for dynamic persons to be salesmen. 我们正在寻找充满活力的销售人员。
- Bounded Model Checking for Temporal Epistemic Logic in Synchronous Multi-Agent Systems 有界模型检测同步多智体系统的时态认知逻辑
- Every dynamic system needs continuous readjustment. 每一动态系统都需要不断地再调整。
- multi - modal epistemic logic 多模态认知逻辑
- The conflict process is a dynamic phenomenon. 冲突过程是一种动态现象。
- This is the first main crux of dynamic theory. 这是动态学说第一个主要的难题。
- Dynamic RAM's need to be refreshed periodically. 动态RAM则需要周期性地刷新数据。
- epistemic logic 认识逻辑;认知逻辑
