modal n.【语法】情态动词(如can、may或will等),和实义动词连用表示可能、许可、意图等) adj. logic n.[U] 1.逻辑(学);论理学 2.(某一学科的)原理,学理 3.推理(法) 4.逻辑性,条理性 5.道理;理由 6.必然的联系(或结果) 7.逻辑学著作 8.【计】逻辑,逻辑操 logic -logy的形容词 first a. ...
First-order modal 翻译结果2复制译文编辑译文朗读译文返回顶部 First-order modal 翻译结果3复制译文编辑译文朗读译文返回顶部 First-order mode 翻译结果4复制译文编辑译文朗读译文返回顶部 A band model 翻译结果5复制译文编辑译文朗读译文返回顶部 Step modality 相关内容 agray correlation 正在翻译,请等待... [tran...
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 logic 英文first-order modal logic 中文【计】 一阶模态逻辑
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 ...
关于意义( Sinn )与指称(Bedeutung)的译文有很多,其中指称一词的德译英相对来说比较稳定,大多翻译为reference或referent;而意义一词的德译英则更多元,其中最普遍的是meaning和sense,而这两种翻译中我更倾向于sense。作为同时修语言学的人,总会觉得meaning是个更敏感的词,语言传递的信息,传递的目的,以及内涵与引申,...
first-order modal logic 【计】 一阶模态逻辑文献(pubmed) 以下为句子列表:英文: First come , first served.中文: 先到的先招待。英文: First come, first served.中文: 先到者,先受招待。英文: First come first served!中文: 先到先得!英文: First in time, first in right.中文: 先在权利优先。
First-order-modal-logic网络逻辑 网络释义 1. 逻辑 为此,我们研究了一种基于一阶模态 逻辑(First-Order Modal Logic)的叙事和动画表示语言——Narlog [2] 。 Narlog采用类KI…www.docin.com|基于3个网页© 2024 Microsoft 隐私声明和 Cookie 法律声明 广告 帮助 反馈...
2) First-order modal logic 一阶模态逻辑3) modal logic D 模态逻辑D系统4) first-order dynamic logic 一阶动态逻辑 1. Digital rights expression model based on first-order dynamic logic; 一种采用一阶动态逻辑表示的数字权限描述模型5) fuzzy first-order logic 模糊一阶逻辑...
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 ...