-
van Benthem, J. Moortgat, M. (2010) Joachim Lambek: The beauty of mathematics in language.Linguistic Analysis, Vol. 36 (pp 5-14)
-
van Benthem, J. Pacuit, E. Roy, O. (2011) Toward a theory of play: a logical perspective on games and interaction.Games, Vol. 2 (pp 52-86)Article | https://doi.org/10.3390/g2010052 | UvA-DARE
-
van Benthem, J. Pacuit, E. (2006) The Tree of Knowledge in Action: Towards a Common Perspective.In Governatori, G. Hodkinson, I. Venema, Y. (Eds.), Advances in Modal Logic 6 (pp 87-106). College Publications.Conference contribution | http://www.aiml.net/volumes/volume6/ | UvA-DAREvan Benthem, J. Pacuit, E. (2010) Temporal Logics of Agency.Journal of Logic, Language and Information, Vol. 19 (pp 389-393)Comment/Letter to the editor | https://doi.org/10.1007/s10849-009-9120-y | UvA-DAREvan Benthem, J. Pacuit, E. (2011) Dynamic logic of evidence-based beliefs.Studia Logica, Vol. 99 (pp 61-92)Article | https://doi.org/10.1007/s11225-011-9347-x | UvA-DAREvan Benthem, J. Pacuit, E. (2011) Logical dynamics of evidence.In van Ditmarsch, H. Lang, J. Ju, S. (Eds.), Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011: proceedings (pp 1-27) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
FoLLI Publications on Logic, Language and Information, Vol. 6953). Springer.Conference contribution | https://doi.org/10.1007/978-3-642-24130-7_1 | UvA-DAREvan Benthem, J. Pacuit, E. (2014) Connecting Logics of Choice and Change.In Müller, T. (Eds.), Nuel Belnap on indeterminism and free action (pp 291-314) (Outstanding contributions to logic, Vol. 2). Springer.Chapter | https://doi.org/10.1007/978-3-319-01754-9_14 | UvA-DAREvan Benthem, J. Smets, S. (2012) New logical perspectives on physics.Synthese, Vol. 186 (pp 615-617)Editorial | https://doi.org/10.1007/s11229-011-9911-y | UvA-DAREvan Benthem, J. Smets, S. (2015) Dynamic Logics of Belief Change.In van Ditmarsch, H. Halpern, J. van der Hoek, W. Kooi, B. (Eds.), Handbook of epistemic logic (pp 313-394). College Publications.van Benthem, J. Stuart, Henry Waldgrave Yuelin, Jin (2020) Lof der onmogelijkheid.Bij Nader Inzien.Web publication or website | https://bijnaderinzien.com/2020/05/27/lof-der-onmogelijkheid/ | UvA-DAREvan Benthem, J. ten Cate, B. Koudijs, R. (2022) Local Dependence and Guarding.In Fernández-Duque, D. Palmigiano, A. Pinchinat, S. (Eds.), Advances in Modal Logic: AiML 14 (pp 135-154). College Publications.Conference contribution | https://doi.org/10.48550/arXiv.2206.06046 | UvA-DAREvan Benthem, J. ten Cate, B. Väänänen, J. (2009) Lindström theorems for fragments of first-order logic.Logical Methods in Computer Science, Vol. 5Article | https://doi.org/10.2168/LMCS-5(3:3)2009 | UvA-DAREvan Benthem, J. ter Meulen, A. (2011) Handbook of logic and language.Elsevier.Book (Editorship) | https://doi.org/10.1016/C2010-0-65666-5 | UvA-DAREvan Benthem, J. van den Broek, E. (2008) De keuze van Johan van Benthem.De Academische Boekengids, Vol. 67van Benthem, J. van Ditmarsch, H. van Eijck, J. Jaspars, J. (2016) Logic in Action.Logic in Action.Book | http://logicinaction.org/ | UvA-DAREvan Benthem, J. van Ditmarsch, H. van Eijck, J. (2009) Logica in actie.Academic Service.Book | UvA-DAREvan Benthem, J. van Eijck, J. Gattinger, M. Su, K. (2015) Symbolic Model Checking for Dynamic Epistemic Logic.In van der Hoek, W. Holliday, W.H. Wang, W.-F. (Eds.), Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings (pp 366-378) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 9394). Springer.Conference contribution | https://doi.org/10.1007/978-3-662-48561-3_30 | UvA-DAREvan Benthem, J. van Eijck, J. Gattinger, M. Su, K. (2018) Symbolic Model Checking for Dynamic Epistemic Logic – S5 and Beyond.Journal of Logic and Computation, Vol. 28 (pp 367-402)Article | https://doi.org/10.1093/logcom/exx038 | UvA-DAREvan Benthem, J. van Ulsen, P. Visser, H. (2008) Logic and Scientific Philosophy: An E.W. Beth Centenary Celebration.Evert Willem Beth Foundation.Book (Editorship) | UvA-DAREvan Benthem, J. Velázquez-Quesada, F.R. (2010) The dynamics of awareness.Synthese, Vol. 177 (pp 5-27)Article | https://doi.org/10.1007/s11229-010-9764-9 | 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