van Benthem, J.F.A.K. Doets, H.C. (2001) Higher-Order Logic.

In Handbook of Philosophical Logic (second revised edition) (pp 1879-243). Kluwer.

van Benthem, J.F.A.K. Gerbrandy, J.D. Pacuit, E.J. (2007) Merging Frameworks for Interaction: DEL and ETL.

In Proceedings of Theoretical Aspects of Rationality and Knowledge (TARK XI) (pp 72-81). ACM DL.

van Benthem, J.F.A.K. Ghosh, S. Liu, F. (2007) Modelling Simultaneous games with Concurrent Dynamic logic.

In van Benthem, J. Ju, S. Veltman, F. (Eds.), A Meeting of the Minds, Proceedings of the Workshop on Logic, Rationality and Interaction (LORI) (pp 243-258). Texts in Computing Science, College Publications.

van Benthem, J.F.A.K. Groenendijk, J.A.G. de Jongh, D.H.J. Stokhof, M.J.B. Verkuyl, H. (2002) Introducción a la Lógica.

Eudeba.

Book | UvA-DARE

van Benthem, J.F.A.K. Groenendijk, J.A.G. de Jongh, D.H.J. Stokhof, M.J.B. Verkuyl, H.J. (1982) Logica, taal en betekenis. I: Inleiding in de logica.

Aula paperback. Het Spectrum.

Book | UvA-DARE

van Benthem, J.F.A.K. Groenendijk, J.A.G. de Jongh, D.H.J. Stokhof, M.J.B. Verkuyl, H.J. (1982) Logica, taal en betekenis. II: Intensionele logica en logische grammatica.

Aula paperback. Het Spectrum.

Book | UvA-DARE

van Benthem, J.F.A.K. Groenendijk, J.A.G. de Jongh, D.H.J. Stokhof, M.J.B. Verkuyl, H.J. (1991) Logic, language and meaning: Vol. II: Intensional logic and logical grammar.

University of Chicago Press.

Book | UvA-DARE

van Benthem, J.F.A.K. Groenendijk, J.A.G. de Jongh, D.H.J. Stokhof, M.J.B. Verkuyl, H.J. (1991) Logic, language and meaning: Vol. I: Introduction to logic.

University of Chicago Press.

Book | UvA-DARE

van Benthem, J.F.A.K. Heinzmann, G. Rebuschi, M. (2005) The Age of Alternative Logics.

Kluwer-Springer.

Book (Editorship) | UvA-DARE

van Benthem, J.F.A.K. Hodges, H. Hodges, W. (2007) Introduction.

Topoi, Vol. 26 (pp 1-2)

Article | https://doi.org/10.1007/s11245-006-9006-4 | UvA-DARE

van Benthem, J.F.A.K. Israel, D. (1999) Review of Barwise & Seligman "Information Flow".

Journal of Logic, Language and Information, Vol. 8 (pp 390-397)

Article | UvA-DARE

van Benthem, J.F.A.K. Kooi, B. (2004) Reduction Axioms for Epistemic Actions.

In Schmidt, R. Pratt-Hartmann, I. Reynolds, M. Wansing, H. (Eds.), Proceedings Advances in Model Logic 2004 (pp 197-211). Department of Computer Science, University of Manchester.

van Benthem, J.F.A.K. Liu, F. (2004) Diversity of Logical Agents in Games.

Philosophiae Scientiae, Vol. 8 (pp 163-178)

Article | UvA-DARE

van Benthem, J.F.A.K. Liu, F. (2004) Diversity of Logical Agents in Games.

Tech. Report ILLC PP. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

van Benthem, J.F.A.K. Liu, F. (2005) Dynamic Logic of Preference Upgrade.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

van Benthem, J.F.A.K. Liu, F. (2007) Dynamic Logic of Preference Upgrade.

Journal of Applied Non-Classical Logics, Vol. 17 (pp 157-182)

Article | UvA-DARE

van Benthem, J.F.A.K. Sarenac, D. (2003) The Geometry of Knowledge.

In Béziau, J.-Y. Costa Leite, A. Facchini, A. (Eds.), Aspects of Universal Logic. Selected Papers . (pp 1-31). Université de Neuchâtel.

van Benthem, J.F.A.K. Sarenac, D. (2004) The Geometry of Knowledge.

Tech Report ILLC PP. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

van Benthem, J.F.A.K. Scotto di Luzio, P. Barker-Plummer, D. Beaver, D.I. (2002) Words, Proofs and Diagrams.

CSLI Publications.

Book (Editorship) | UvA-DARE

van Benthem, J.F.A.K. Shier, J. Veltman, F. (2007) A Meeting of the Minds: proceedings LORI Workshop Beijing.

King's College Publications.

Book (Editorship) | UvA-DARE