Jaakko Hintikka on knowledge and game-theoretical semantics. ([2018])