
Johan van Benthem
Artikeln (2000-2009)
XLogic and intelligent interaction
2009
Synthese 169/2
The information in intuitionistic logic
2009
Synthese 167/2
Modelling simultaneous games in dynamic logic
2008
Synthese 165/2
The many faces of interpolation
2008
Synthese 164/3
Diversity of logical agents in games
2004
Philosophia Scientiae 8/2