-
van Benthem, J.F.A.K., Fernández-Duque, D., Pacuit, E. (2012) Evidence Logic: A New Look at Neighborhood Structures.In Bolander, T. Braüner, T. Ghilardi, S. Moss, L. (Eds.), Advances in Modal Logic: AiML 9 (pp 97-118). College Publications.Conference contribution | http://www.aiml.net/volumes/volume9/Benthem-Fernandez-Duque-Pacuit.pdf | UvA-DAREvan Benthem, J.F.A.K., Fernández-Duque, D., Pacuit, E. (2014) Evidence and Plausibility in Neighborhood Structures.Annals of Pure and Applied Logic, Vol. 165 (pp 106-133)Article | https://doi.org/10.1016/j.apal.2013.07.007 | UvA-DAREvan Benthem, J.F.A.K., Gabbay, D., Löwe, B. (2007) Interactive logic: selected papers from the 7th Augustus de Morgan workshop, London.Texts in logic and games. Amsterdam University Press.Book (Editorship) | UvA-DAREvan Benthem, J.F.A.K., Gerbrandy, J., Hoshi, T., Pacuit, E. (2009) Merging frameworks for interaction.Journal of Philosophical Logic, Vol. 38 (pp 491-521)Article | https://doi.org/10.1007/s10992-008-9099-x | UvA-DAREvan Benthem, J.F.A.K., Gerbrandy, J., Kooi, B. (2009) Dynamic update with probabilities.Studia Logica, Vol. 93 (pp 67-96)Article | https://doi.org/10.1007/s11225-009-9209-y | UvA-DAREvan Benthem, J.F.A.K., Gerbrandy, J., Pacuit, E. (2007) Merging Frameworks for Interaction: DEL and ETL.In Proceedings of Theoretical Aspects of Rationality and Knowledge (TARK XI) (pp 72-81). ACM DL.Conference contribution | UvA-DAREvan Benthem, J.F.A.K., Gheerbrant, A.P. (2010) Game solution, epistemic dynamics and fixed-point logics.Fundamenta Informaticae, Vol. 100 (pp 19-41)Article | https://doi.org/10.3233/FI-2010-261 | UvA-DAREvan 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.Conference contribution | UvA-DAREvan Benthem, J.F.A.K., Ghosh, S., Verbrugge, R. (2015) Models of Strategic Reasoning: Logics, Games, and Communities.Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 8972. Springer.Book (Editorship) | https://doi.org/10.1007/978-3-662-48540-8 | UvA-DAREvan 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-DAREvan Benthem, J.F.A.K., Groenendijk, J., de Jongh, D., Stokhof, M., Verkuyl, H. (2002) Introducción a la Lógica.Eudeba.Book | UvA-DAREvan Benthem, J.F.A.K., Groenendijk, J., de Jongh, D., Stokhof, M., Verkuyl, H.J. (1982) Logica, taal en betekenis. I: Inleiding in de logica.Aula paperback. Het Spectrum.Book | UvA-DAREvan Benthem, J.F.A.K., Groenendijk, J., 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-DAREvan Benthem, J.F.A.K., Groenendijk, J., 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-DAREvan Benthem, J.F.A.K., Groenendijk, J., de Jongh, D., Stokhof, M., Verkuyl, H.J. (1991) Logic, language and meaning: Vol. I: Introduction to logic.University of Chicago Press.Book | UvA-DAREvan 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-DAREvan 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-DAREvan 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-DAREvan 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-DAREvan Benthem, J.F.A.K., Heinzmann, G., Rebuschi, M. (2005) The Age of Alternative Logics.Kluwer-Springer.Book (Editorship) | UvA-DAREThe 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