项目描述 ：
Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.

高级语言： TeX

项目主页： http://hintikkasworld.irisa.fr/

项目地址: git://github.com/hintikkasworld/hintikkasworld.git

创建时间： 2020-06-12T13:53:34Z
项目社区：https://github.com/hintikkasworld/hintikkasworld
开源协议：
下载