1.
Tautologies and Quasi-Tautologies in Fuzzy Modal Logic
模糊模态逻辑中的永真式与准永真式
2.
the modal logic of obligation and permissibility.
讨论义务与权容的模态逻辑。
3.
the modal logic of belief and disbelief.
讨论信仰与非信仰的模态逻辑。
4.
As soon as modal logic came into being, Quine questioned it.
模态逻辑一经产生,就遭到奎因的质疑。
5.
the modal logic of knowledge and uncertainty and ignorance.
讨论知识,怀疑,与无知的模态逻辑。
6.
On A.M.S Boethius "Modalities" Logic and God s Omens;
论波爱修斯的模态逻辑与上帝的预知
7.
Problem of Rigid Assignment to Variables in Predicate Modal Logic
谓词模态逻辑中变量的严格指派问题
8.
Research of the Related Issues Arising from Modality De Re in Modal Logic;
模态逻辑中事物模态引起的相关问题研究
9.
He even thought that modal logic was surplus and should be abandoned.
他甚至认为模态逻辑是多余的,应予以抛弃。
10.
the modal logic of necessity and possibility and contingency.
讨论必要性可能性与偶然性的模态逻辑。
11.
Model Checking Web Services Based on Temporal Logic of Knowledge
基于时态认知逻辑的Web服务模型检测
12.
Research on Operator Dynamic Fuzzy Logic System and Its Resolution
算子动态模糊逻辑系统及其归结研究
13.
A Class of Monoids of Fuzzy Logic Systems and Homomorphic Mapping
一类模糊逻辑系统幺半群与同态映射
14.
A new model for mining multiple time series based on temporal logic
基于时态逻辑的多时间序列挖掘模型
15.
Comparison between the Classical Propositional and the Propositional Modal Systems
古典命题逻辑与模态命题逻辑的形式系统之比较
16.
Alethic Model、Deontic Model and The Classic System Of Deontic Logic;
真性模态、道义模态和现代道义逻辑的经典系统
17.
Reasoning Model of Agent and Verification System Based on Dynamic Fuzzy Logic(DFL);
基于动态模糊逻辑（DFL）的Agent推理模型及验证系统
18.
Research on Mixed Logical Dynamical Model and Its Model Predictive Control;
混合逻辑动态建模及其模型预测控制研究