1) Normal Modal Propositional Logic System
正规模态逻辑系统
1.
Discussing about the Completeness Proof of Normal Modal Propositional Logic System
对正规模态逻辑系统完全性证明的层层刨析,可以更好地把握和使用完全性证明方法。
2) normal system of medium multi-modallogic
中介多模态逻辑正规系统
3) non-normal modal logic
非正规模态逻辑
4) modal logic system S5
模态逻辑系统S5
1.
Normal form theorem in modal logic system S5 and its application to knowledge base theory;
模态逻辑系统S5中的范式定理及其在知识系统中的应用
5) modal logic D
模态逻辑D系统
6) modal logic system M￡*
模态逻辑系统M￡*
补充资料：正规
符合正式规定或公认标准的：正规战｜正规程序。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条