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

    播放读音 播放读音