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 (pp. 15-19). Dordrecht: Springer.
with Arló-Costa, H. , Hendricks, V. F. (2016). Introduction. In H. Arló-Costa, V. F. Hendricks, & J. Van Benthem (Eds.). Readings in formal epistemology (pp. 737-739). Dordrecht: Springer.
with Arló-Costa, H. , Hendricks, V. F. (2016). Introduction. In H. Arló-Costa, V. F. Hendricks, & J. Van Benthem (Eds.). Readings in formal epistemology (pp. 189-193). Dordrecht: Springer.
with Arló-Costa, H. , Hendricks, V. F. (2016). Introduction. In H. Arló-Costa, V. F. Hendricks, & J. Van Benthem (Eds.). Readings in formal epistemology (pp. 351-355). Dordrecht: Springer.
with Arló-Costa, H. , Hendricks, V. F. (2016). Introduction. In H. Arló-Costa, V. F. Hendricks, & J. Van Benthem (Eds.). Readings in formal epistemology (pp. 523-525). Dordrecht: Springer.
with Arló-Costa, H. , Hendricks, V. F. (eds) (2016). Readings in formal epistemology: sourcebook. Dordrecht: Springer.
with Hendricks, V. F. , Symons, J. (eds) (2013). Synthese 190 (4).
(2012). The logic of empirical theories revisited. Synthese, 186 (3), 775-792. https://doi.org/10.1007/s11229-011-9916-6.
with Smets, S. (2012). New logical perspectives on physics. Synthese, 186 (3), 615-617. https://doi.org/10.1007/s11229-011-9911-y.
with Smets, S. (eds) (2012). Synthese 186 (3).
with Kuipers, T. A. , Visser, H. (2011). Introduction. Synthese, 179 (2), 203-206. https://doi.org/10.1007/s11229-010-9774-7.
with Kuipers, T. A. , Visser, H. (eds) (2011). Synthese 179 (2).
with Ågotnes, T. , Pacuit, E. (2009). Logic and intelligent interaction. Synthese, 169 (2), 219-221. https://doi.org/10.1007/s11229-009-9558-0.
(2009). The information in intuitionistic logic. Synthese, 167 (2), 251-270. https://doi.org/10.1007/s11229-008-9408-5.
with Ågotnes, T. , Pacuit, E. (eds) (2009). Synthese 169 (2).
(2008). The many faces of interpolation. Synthese, 164 (3), 451-460. https://doi.org/10.1007/s11229-008-9351-5.
with Ghosh, S. , Liu, F. (2008). Modelling simultaneous games in dynamic logic. Synthese, 165 (2), 247-268. https://doi.org/10.1007/s11229-008-9390-y.
with Hendricks, V. F. , Symons, J. (2008). Editorial. Synthese, 160 (1), 1-4. https://doi.org/10.1007/s11229-007-9274-6.
with Hendricks, V. F. , Symons, J. (2007). Editorial. Synthese, 154 (1), 1-3. https://doi.org/10.1007/s11229-006-0014-0.
(2006). Open problems in logical dynamics. In D. M. Gabbay, S. Goncharov, & M. Zakharyaschev (Eds.). Mathematical problems from applied logic I (pp. 137-192). Dordrecht: Springer.
with Hendricks, V. F. , Symons, J. (2006). Editorial. Synthese, 148 (1), 1-3. https://doi.org/10.1007/s11229-005-5892-z.
(2004). Probabilistic features in logic games. In J. Symons, & D. Kolak (Eds.). Quantifiers, questions and quantum physics (pp. 189-194). Dordrecht: Springer.
with Liu, F. (2004). Diversity of logical agents in games. Philosophia Scientiae, 8 (2), 163-178. https://doi.org/10.4000/philosophiascientiae.571.
(1988). The Lambek calculus. In R. T. Oehrle, E. Bach, & D. Wheeler (Eds.). Categorial grammars and natural language structures (pp. 35-68). Dordrecht: Springer.
(1987). Categorial grammar and lambda calculus. In D. G. Skordev (Ed.). Mathematical logic and its applications (pp. 39-60). Dordrecht: Springer.
(1987). Meaning: interpretation and inference. Synthese, 73 (3), 451-470. https://doi.org/10.1007/BF00484987.