Descartes axiom and wisdom axiom in knowledge logic are isomorphic, both of which are corresponding to axiom E in modal logic.
英
美
笛卡尔公理与知道逻辑中的智慧公理(格拉底公理)逻辑上是同构的,它们均对应于模态逻辑中的E公理。
目录
查词历史
英 汉