一阶模态逻辑

英语翻译

first-order modal logic

拓展翻译

一阶动态逻辑
first-order dynamic logic

一组时态逻辑
first-order temporal logic

一阶
first order

一阶差分方程
first-order difference equation

一阶导数
first-order derivative

一阶地址
one-level address

一阶递归程序
first-order recursive program

一阶方程
first-order equation

一阶理论
first-order theory

一阶逻辑
first order logic; first-order logic

一阶码
one-level code

一阶微分方程
first-order differential equation

一阶谓词逻辑
first-order predicate logic

一阶谓词演算
first order predicate calculus; first-order predicate calculus

一阶语言
first-order language

一阶约化密度矩阵
first order reduced density matrix

样机逻辑操作
prototype logic operation

已分配的逻辑存储器
allocated logical storage

异步逻辑
asynchronous logic

异步逻辑系统
asynchronous logic system