海词手机词典
  • Descartes axiom and wisdom axiom in knowledge logic are isomorphic, both of which are corresponding to axiom E in modal logic.

    播放读音 播放读音