first-order modal logic

first-order modal logic 基本解释

网络  一阶模态逻辑

计算机

重点词汇

• modala. 形式的, 样式的, 形态上的, 模态的 [计] 模态的
• firstadv. 首先, 第一, 优先 a. 第一的 num. 第一 n. 开始, 第一
• ordern. 次序, 规则, 命令 vi. 命令, 定货 vt. 整理, 命令, 定购 n. 顺序, 阶数 [计] 顺序, 阶数
• logicn. 逻辑, 逻辑学, 推理的方法, 推理, 逻辑性 [计] 逻辑

first-order modal logic 双语例句

1. 1、 Three temporal logics i.e. first-order predicate calculus, modal logic and reified logic are discussed.
   讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
2. 2、 The elementary first-order temporal logic is a development of modal logic and ordinary temporal logic.
   基本的一阶时态逻辑有模态逻辑和时态逻辑的一个发展。
3. 3、 The logical properties of individual variables and individual constants are different, the formulae combining with predications and quantifiers are different whether seen from the standpoint of first-order or modal logic.
   个体变元与个体常元的逻辑性质不同，它们与谓词、量词组合的公式在一阶逻辑与模态逻辑中的表现也是不同的。