first order 一级 first( )order 一阶 modal n.【语法】情态动词(如can、may或will等),和实义动词连用表示可能、许可、意图等) adj. logic n.[U] 1.逻辑(学);论理学 2.(某一学科的)原理,学理 3.推理(法) 4.逻辑性,条理性 5.道理;理由 6.必然的联系(或结果) 7.逻辑学著作 8.【计】逻辑,...
Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach. Semantically, they use possible world models; the formal proof machinery is tableaus; and full philosophical discussions are provided ...
First-order modal logicKripke semanticsBisimulationGoldblatt-Thomason theoremLindstrom theoremWe generalize two well-known model-theoretic characterization theorems from propositional modal logic to first-order modal logic (FML, for short). We first study FML-definable frames and give a version of the ...
First-order-modal-logic网络逻辑 网络释义 1. 逻辑 为此,我们研究了一种基于一阶模态 逻辑(First-Order Modal Logic)的叙事和动画表示语言——Narlog [2] 。 Narlog采用类KI…www.docin.com|基于3个网页© 2024 Microsoft 隐私声明和 Cookie 法律声明 广告 帮助 反馈...
关于意义( Sinn )与指称(Bedeutung)的译文有很多,其中指称一词的德译英相对来说比较稳定,大多翻译为reference或referent;而意义一词的德译英则更多元,其中最普遍的是meaning和sense,而这两种翻译中我更倾向于sense。作为同时修语言学的人,总会觉得meaning是个更敏感的词,语言传递的信息,传递的目的,以及内涵与引申,...
3. first order modal shifts and third-order structure damage location identification of modal shift to more accurate, to a lesser extent, the effect of second-order modes, this is primarily because when an injury occurs somewhere in the structure, impacts on all ...
We describe simple semantic tableau based theorem provers for four standard modal logics, in both propositional and first-order versions. These theorem provers are easy to implement in Prolog, have a behavior that is straightforward to understand, and provide natural places for the incorporation of ...
In this paper we present a resolution method for first-order modal logic, which derives from an extension of already known propositional methods. The main feature of our approach to the problem of quantification in modal logic is a purely syntactical solution, embedded in a propositional method, ...
Improved first-order logic model for security protocols; 改进的安全协议一阶逻辑模型 2. The first-order logic model for security protocols can not give the understandable attack sequence. 针对安全协议一阶逻辑模型不能够给出易于理解的攻击序列的问题,扩展了安全协议一阶逻辑模型,加入了攻击重构策略。 3...
First-order modal logic is very much under current development, with many different semantics proposed. The use of rigid objects goes back to Saul Kripke. More recently, several semantics based on counterparts have been examined, in a development that goes back to David Lewis. There is yet anot...