- 更多网络例句与模态逻辑相关的网络例句 [注：此内容来源于网络，仅供参考]
-
He has taught the following courses since he became a teacher in 2001: first-order logic, modal logic, the axiomatic set theory, recursive theory and model theory.
已开课程有《一阶逻辑》《模态逻辑》《公理集合论》《递归论》《模型论》。2005年11月至2006年11月，访学于阿姆斯特丹大学逻辑、语言与计算研究所。
-
The theory of compound propositions inference, The theory of categorical proposition inference, The modal logic, Foundational laws of logic ,The theory of inductive logic ,The theory of proof and refutation.
主要有：概念的理论，命题的理论，复合命题推理，直言命题推理，模态逻辑，逻辑规律和归纳推理。
-
The modal logic S5, viewed as a theory in S4, is a model of monadic Boolean algebras in the same way that S4 is a model of interior algebra.
模态逻辑 S5，被看作 S4 中一个理论，是一元布尔代数的模型，如同模态逻辑 S4 是内部代数的模型。
-
Modal auxiliary , modal auxiliary verb
模态逻辑，模态逻辑学
- 更多网络解释与模态逻辑相关的网络解释 [注：此内容来源于网络，仅供参考]
-
modality logics：模态逻辑
modal value 最常见的值 | modality logics 模态逻辑 | mode 众数
-
intuitionistic logic：直觉主义逻辑
古典逻辑 classical logic | 直觉主义逻辑 intuitionistic logic | 模态逻辑 modal logic
-
modal value：最常见的值
modal system 模态系统 | modal value 最常见的值 | modality logics 模态逻辑
-
modular character：模特征[标]
模态逻辑|modal logic | 模特征[标]|modular character | 模同构|module isomorphism