Johan van Benthem
(2000-2009)
XLogic and intelligent interaction
2009
Synthese 169/2
The information in intuitionistic logic
2009
Synthese 167/2
The many faces of interpolation
2008
Synthese 164/3
Modelling simultaneous games in dynamic logic
2008
Synthese 165/2
2008
Synthese 160/1
2007
Synthese 154/1
Open problems in logical dynamics
2006
in: Mathematical problems from applied logic I, Dordrecht : Springer
2006
Synthese 148/1
Probabilistic features in logic games
2004
in: Quantifiers, questions and quantum physics, Dordrecht : Springer
Diversity of logical agents in games
2004
Philosophia Scientiae 8/2
