Johan van Benthem
with Arló-Costa, H. , Hendricks, V. F. (2016)., Introduction, in H. Arló-Costa, V. F. Hendricks & J. Van Benthem (eds.), Readings in formal epistemology, Dordrecht, Springer, pp. 351-355.
with Arló-Costa, H. , Hendricks, V. F. (2016)., Introduction, in H. Arló-Costa, V. F. Hendricks & J. Van Benthem (eds.), Readings in formal epistemology, Dordrecht, Springer, pp. 523-525.
with Arló-Costa, H. , Hendricks, V. F. (2016)., Introduction, in H. Arló-Costa, V. F. Hendricks & J. Van Benthem (eds.), Readings in formal epistemology, Dordrecht, Springer, pp. 15-19.
with Arló-Costa, H. , Hendricks, V. F. (2016)., Introduction, in H. Arló-Costa, V. F. Hendricks & J. Van Benthem (eds.), Readings in formal epistemology, Dordrecht, Springer, pp. 737-739.
with Arló-Costa, H. , Hendricks, V. F. (2016)., Introduction, in H. Arló-Costa, V. F. Hendricks & J. Van Benthem (eds.), Readings in formal epistemology, Dordrecht, Springer, pp. 189-193.
with Arló-Costa, H. , Hendricks, V. F. (eds) (2016). Readings in formal epistemology: sourcebook, Springer, Dordrecht.
with Hendricks, V. F. , Symons, J. (eds) (2013). Between logic and intuition. Synthese 190 (4).
(2012). The logic of empirical theories revisited. Synthese 186 (3), pp. 775-792.
with Smets, S. (2012). New logical perspectives on physics. Synthese 186 (3), pp. 615-617.
with Smets, S. (eds) (2012). Logic meets physics. Synthese 186 (3).
with Kuipers, T. A. , Visser, H. (2011). Introduction. Synthese 179 (2), pp. 203-206.
with Kuipers, T. A. , Visser, H. (eds) (2011). Logic and philosophy of science in the footsteps of E. W. Beth. Synthese 179 (2).
with Ågotnes, T. , Pacuit, E. (2009). Logic and intelligent interaction. Synthese 169 (2), pp. 219-221.
(2009). The information in intuitionistic logic. Synthese 167 (2), pp. 251-270.
with Ågotnes, T. , Pacuit, E. (eds) (2009). Knowledge, rationality & action. Synthese 169 (2).
(2008). The many faces of interpolation. Synthese 164 (3), pp. 451-460.
with Ghosh, S. , Liu, F. (2008). Modelling simultaneous games in dynamic logic. Synthese 165 (2), pp. 247-268.
with Hendricks, V. F. , Symons, J. (2008). Editorial. Synthese 160 (1), pp. 1-4.
with Hendricks, V. F. , Symons, J. (2007). Editorial. Synthese 154 (1), pp. 1-3.
(2006)., Open problems in logical dynamics, in D. M. Gabbay, S. Goncharov & M. Zakharyaschev (eds.), Mathematical problems from applied logic I, Dordrecht, Springer, pp. 137-192.
with Hendricks, V. F. , Symons, J. (2006). Editorial. Synthese 148 (1), pp. 1-3.
(2004)., Probabilistic features in logic games, in J. Symons & D. Kolak (eds.), Quantifiers, questions and quantum physics, Dordrecht, Springer, pp. 189-194.
with Liu, F. (2004). Diversity of logical agents in games. Philosophia Scientiae 8 (2), pp. 163-178.
(1988)., The Lambek calculus, in R. T. Oehrle, E. Bach & D. Wheeler (eds.), Categorial grammars and natural language structures, Dordrecht, Springer, pp. 35-68.
(1987)., Categorial grammar and lambda calculus, in D. G. Skordev (ed.), Mathematical logic and its applications, Dordrecht, Springer, pp. 39-60.
(1987). Meaning: interpretation and inference. Synthese 73 (3), pp. 451-470.