Jaakko Hintikka on knowledge and game-theoretical semantics - Ditmarsch, Hans van 1959-; Sandu, Gabriel 1954- (Outstanding contributions to logic, 2018)