Johan van Benthem
(2000-2009)
Xwith Å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.