Merlijn Sevenster
2018
in: Jaakko Hintikka on knowledge and game-theoretical semantics, Dordrecht : Springer
A strategic perspective on if games
2009
in: Games, Dordrecht : Springer
On the computational consequences of independence in propositional logic
2006
Synthese 149/2