1) cognitive truth-value modal logic
认知真值模态逻辑
2) multi-modal epistemic logic
多模态认知逻辑
1.
The foreign systems of multi-modal epistemic logic present some pitfalls on epistemological base and the uses of axioms.
国外的多模态认知逻辑系统在认识论基础和公理的使用上存在不足。
3) alethic modal logic
真值模态逻辑
1.
Anderson holds that deontic logic can be reduced to alethic modal logic by the reduction formula Op(口(~p?S).
安德森认为依靠归约公式Op □ (～p→S)能把道义逻辑归约为真值模态逻辑。
4) temporal logics of knowledge
时态认知逻辑
1.
But temporal logics of knowledge can describe more accurately the desirable specification of systems and protocols in distributed systems.
而时态认知逻辑能更精确地描述分布式领域中系统和协议的规范。
2.
The model checking for temporal logics of knowledge becomes a new and important research domain.
时态认知逻辑已被广泛应用于分布式系统和协议的规范描述,模型检测时态认知规范已成为一个新的研究领域,因此着重研讨时态认知规范的“OntheFly”模型检测算法·在“OntheFly”模型检测时态逻辑描述规范的基础上,根据自动机理论、深度优先方法和知识的语义,提出了“OntheFly”模型检测时态认知规范的算法,该算法在模型检测带有知识算子的时态规范时,在找到一个反例之前,往往只需构造系统的部分甚至小部分状态空间,从而避免了时态认知规范的模型检测中内存不足和状态爆炸等问题,实现了“OntheFly”模型检测时态认知规范,并且算法的复杂性是多项式时间的·最后,通过该方法在验证TMN密码协议中的应用来作为一个例子说明该方法的有效性
5) dynamic epistemic logic
动态认知逻辑
1.
In this paper,we introduce the cognition of actions on the basis of the commonly dynamic epistemic logics.
在通常的动态认知逻辑的基础上,引进对动作的认知。
6) epistemic temporal logic
认知时态逻辑
1.
In this thesis,a logic system will be discussed——temporal pubic announcement logic,which can capture both two important ingredients and merges the semantic framework of pubic announcement logic and epistemic temporal logic.
在描述多主体间相互作用的过程中,公开宣告逻辑关注于在公开宣告发生后主体的认知状态如何改变;认知时态逻辑关注于在主体的相互作用中能够发生哪些信息事件。
补充资料：模态逻辑
| 模态逻辑 modal logic 研究必然、可能及其相关概念的逻辑性质。逻辑的一个分支。模态逻辑所研究的命题“必然A”和“可能A”与通常命题演算中的命题不同。后者是真值函项，前者不是。因为，当A真时 ，“必然A”既可以是真也可以是假 ；当A假时，“可能A ”既可以是真也可以是假。模态命题演算是现代模态逻辑的基本内容之一。它是应用数理逻辑的方法研究模态命题逻辑的结果。最先开始这方面研究的是19世纪末的H.麦克考尔。在他的影响下，美国哲学家、逻辑学家C.I.刘易斯于1914年构造了一个模态命题演算。40年代末，卡尔纳普开始从语义方面研究模态逻辑。50年代末～60年代初，S.坎格尔、J.欣梯卡与S.A.克里普克等人发展了卡尔纳普的理论，提出了比较完整的模态逻辑的模型理论。60年代以后模态逻辑有很大发展，出现了许多新的系统，特别出现了许多非标准的模态逻辑系统。如认知逻辑、道义逻辑、时态逻辑等。模态逻辑由于研究和阐明了必然、可能、应当、知道等本体论和认识论概念的逻辑性质，因而具有深刻的哲学意义。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条