Hintikka's World

Popular repositories Loading

1. hintikkasworld hintikkasworldPublic

   Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.

   TeX 13 2

2. touist_webservice touist_webservicePublic

   Webservice for serving touist requests

   HTML 1