我们这几天会讲很多模态逻辑。
这是另一个,模态逻辑。
模态逻辑是关于必要性和可能性的逻辑。
讨论信仰与非信仰的模态逻辑。
模态逻辑一经产生,就遭到奎因的质疑。
As soon as modal logic came into being, Quine questioned it.
本文为道义模态逻辑D—系统建立布尔值模型。
The paper built a Boolean_valued model for the deontic logical D_system .
本文为道义模态逻辑D—系统建立布尔值模型。
The paper built a Boolean_valued model for the deontic logical D_system .
应用推荐