Johan van Benthem
2016
in: Readings in formal epistemology, Dordrecht : Springer
2016
in: Readings in formal epistemology, Dordrecht : Springer
2016
in: Readings in formal epistemology, Dordrecht : Springer
2016
in: Readings in formal epistemology, Dordrecht : Springer
2016
in: Readings in formal epistemology, Dordrecht : Springer
The logic of empirical theories revisited
2012
Synthese 186/3
New logical perspectives on physics
2012
Synthese 186/3
2011
Synthese 179/2
Logic 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
1988
in: Categorial grammars and natural language structures, Dordrecht : Springer
Categorial grammar and lambda calculus
1987
in: Mathematical logic and its applications, Dordrecht : Springer
1987
Synthese 73/3