1) normal system of medium multi-modallogic
中介多模态逻辑正规系统
2) Normal Modal Propositional Logic System
正规模态逻辑系统
1.
Discussing about the Completeness Proof of Normal Modal Propositional Logic System
对正规模态逻辑系统完全性证明的层层刨析,可以更好地把握和使用完全性证明方法。
3) non-normal modal logic
非正规模态逻辑
4) Medium Logic System
中介逻辑系统
5) modal logic system S5
模态逻辑系统S5
1.
Normal form theorem in modal logic system S5 and its application to knowledge base theory;
模态逻辑系统S5中的范式定理及其在知识系统中的应用
6) modal logic D
模态逻辑D系统
补充资料：Post正规系统
Post正规系统
'Post nonnal system
P峨杖正规系统11、成翻的n目叮stan;noeTa，opM幼‘-“明e“eTeMa」，正规演算(加确al ealculus) R减典范系统(PostcanonicalsysteTn)的一种重要特殊情况.c.幻.Mac二，撰杜小杨译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条