Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.
Home Page:http://hintikkasworld.irisa.fr/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool