Searchable List of Research Output | Institute for Logic, Language and Computation

van Benthem, J.F.A.K., Girard, P., Roy, O. (2009) Everything else being equal: A modal logic for ceteris paribus preferences.

Journal of Philosophical Logic, Vol. 38 (pp 83-125)

Article | https://doi.org/10.1007/s10992-008-9085-3 | UvA-DARE
van Benthem, J.F.A.K., Groenendijk, J.A.G., de Jongh, D., Stokhof, M., 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., Stokhof, M., 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., Stokhof, M., 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., Stokhof, M., 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., Stokhof, M., 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., Grossi, D., Liu, F. (2010) Deontics = Betterness + Priority.

In Governatori, G. Sartor, G. (Eds.), Deontic Logic in Computer Science: 10th international conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings (pp 50-65) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence, Vol. 6181). Springer.

Conference contribution | https://doi.org/10.1007/978-3-642-14183-6_6 | UvA-DARE
van Benthem, J.F.A.K., Grossi, D., Liu, F. (2014) Priority Structures in Deontic Logic.

Theoria, Vol. 80 (pp 116-152)

Article | https://doi.org/10.1111/theo.12028 | UvA-DARE
van Benthem, J.F.A.K., Gupta, A., Pacuit, E. (2011) Games, norms and reasons: logic at the crossroads.

Synthese library. Springer.

Book (Editorship) | https://doi.org/10.1007/978-94-007-0714-6 | UvA-DARE
van Benthem, J.F.A.K., Gupta, A., Parikh, R. (2011) Proof, computation and agency: logic at the crossroads.

Synthese library. Springer.

Book (Editorship) | https://doi.org/10.1007/978-94-007-0080-2 | 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., Hendricks, V.F., Symons, J. (2008) Editorial.

Synthese, Vol. 160 (pp 1-4)

Article | https://doi.org/10.1007/s11229-007-9274-6 | 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., Icard, T. (2023) Interleaving logic and counting.

Bulletin of Symbolic Logic, Vol. 29 (pp 503-587)

Article | https://doi.org/10.1017/bsl.2023.30 | UvA-DARE
van Benthem, J.F.A.K., Icard, T.F. (2021) Interleaving Logic and Counting: A view from the bottom.

Abstract | UvA-DARE
van Benthem, J.F.A.K., Ikegami, D. (2008) Modal fixed-point logic and changing models.

In Avron, A. Dershowitz, N. Rabinovich, A. (Eds.), Pillars of computer science: Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday (pp 146-165) (Lecture notes in computer science). Springer.

Chapter | https://doi.org/10.1007/978-3-540-78127-1_9 | 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., Klein, D. (2019) Logics for Analyzing Games.

Stanford Encyclopedia of Philosophy, Vol. 2019

Article | https://plato.stanford.edu/archives/spr2019/entries/logics-for-games/ | 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.

Conference contribution | UvA-DARE
van Benthem, J.F.A.K., Kuipers, T., Visser, H. (2011) Introduction to ‘Logic and philosophy of science: in the footsteps of E.W. Beth’.

Synthese, Vol. 179 (pp 203-206)

Article | https://doi.org/10.1007/s11229-010-9774-7 | UvA-DARE

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact illc at uva.nl