Hintikka's world

Hintikka’s World shows intelligent artificial agents reasoning about higher-order knowledge (a knows that b knows that...). It enables to explore mental states of the agents by clicking on them. It contains many classical AI examples. It is a tribute to Jaakko Hintikka. This tool can be used for: learning modal logic, model checking and satisfiability problem; learning models of dynamic epistemic logic; having fun with epistemic puzzles.