中英▼
go top

first order modal logic

网络释义

  一阶模态逻辑

一阶模态逻辑

基于1个网页-相关网页

短语

first-order modal logic 一阶模态逻辑

first order modal logic D 一阶模态D逻辑

有道翻译

first order modal logic

一阶模态逻辑

以上为机器翻译结果，长、整句建议使用 人工翻译 。

双语例句

  • Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.

    讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定