-
van Benthem, J.F.A.K. (2010) Logic, mathematics, and general agency.In Bour, P.E. Rebuschi, M. Rollet, L. (Eds.), Construction: festschrift for Gerhard Heinzmann (pp 277-296) (Tributes). College Publications.Chapter | UvA-DAREvan Benthem, J.F.A.K. (2010) Frame correspondences in modal predicate logic.In Feferman, S. Sieg, W. (Eds.), Proofs, categories and computations: essays in honor of Grigori Mints (Tributes). College Publications.Chapter | UvA-DAREvan Benthem, J.F.A.K. (2010) Logic between expressivity and complexity.In Giesl, J. Hähnle, R. (Eds.), Automated Reasoning: 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings (pp 122-126) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence, Vol. 6173). Springer.Conference contribution | https://doi.org/10.1007/978-3-642-14203-1_10 | UvA-DAREvan Benthem, J.F.A.K. (2011) McCarthy variations in a modal key.Artificial Intelligence, Vol. 175 (pp 428-439)Article | https://doi.org/10.1016/j.artint.2010.04.014 | UvA-DAREvan Benthem, J.F.A.K. (2011) One logician’s perspective on argumentation [in Chinese].In Yearbook. Philosophy Department, Tsinghua University.Chapter | UvA-DAREvan Benthem, J.F.A.K. (2011) Logic in a social setting.Episteme, Vol. 8 (pp 227-247)Article | https://doi.org/10.3366/epi.2011.0019 | UvA-DAREvan Benthem, J.F.A.K. (2011) Belief update as social choice.In Girard, P. Roy, O. Marion, M. (Eds.), Dynamic Formal Epistemology (pp 151-160). Springer.Chapter | https://doi.org/10.1007/978-94-007-0074-1_8 | UvA-DAREvan Benthem, J.F.A.K. (2011) Exploring a theory of play.In Apt, K.R. (Eds.), TARK XIII: theoretical aspects of rationality and knowledge : proceedings of the thirteenth conference (TARK 2011) (pp 12-16). ACM.Conference contribution | https://doi.org/10.1145/2000378.2000380 | UvA-DAREvan Benthem, J.F.A.K. (2011) Logical dynamics of information and interaction.Cambridge University Press.van Benthem, J.F.A.K. (2011) Horror Contradictionis.In Hales, S.D. (Eds.), A Companion to Relativism (pp 511-525) (Blackwell Companions to Philosophy, Vol. 47). Wiley-Blackwell.Chapter | https://doi.org/10.1002/9781444392494.ch26 | UvA-DAREvan Benthem, J.F.A.K. (2012) The Logic of Empirical Theories Revisited.Synthese, Vol. 186 (pp 775-792)Article | https://doi.org/10.1007/s11229-011-9916-6 | UvA-DAREvan Benthem, J.F.A.K. (2012) Luo ji yu tui li: shi shi zhong yao ma?.Hubei Daxue Xuebao (Zhexue Shehui Kexue Ban), Vol. 39 (pp 1-9)van Benthem, J.F.A.K. (2012) In Praise of Strategies.In van Eijck, J. Verbrugge, R. (Eds.), Games, Actions and Social Software: Multidisciplinary Aspects (pp 96-116) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 7010). Springer.Chapter | https://doi.org/10.1007/978-3-642-29326-9_6 | UvA-DAREvan Benthem, J.F.A.K. (2012) Dynamic Logic in Natural Language.In Russell, G. Graff Fara, D. (Eds.), The Routledge Companion to Philosophy of Language (pp 652-666) (Routledge Philosophy Companions). Routledge.Chapter | https://www.taylorfrancis.com/books/e/9781136594083/chapters/10.4324%2F9780203206966-62 | UvA-DAREvan Benthem, J.F.A.K. (2012) Johan Frederik Staal: 3 november 1930-19 februari 2012.Levensberichten en Herdenkingen, Vol. 2012 (pp 70-75)van Benthem, J.F.A.K. (2012) Dynamic Logic in Natural Language.In Graf, T. Paperno, D. Szabolcsi, A. Tellings, J. (Eds.), Theories of everything: in honor of Ed Keenan (pp 18-21) (UCLA Working Papers in Linguistics). UCLA Linguistics Department.Chapter | http://www.linguistics.ucla.edu/faciliti/wpl/issues/wpl17/papers/04_benthem.pdf | UvA-DAREvan Benthem, J.F.A.K. (2012) Foundational Issues in Logical Dynamics.In Bolander, T. Braüner, T. Ghilardi, S. Moss, L. (Eds.), Advances in Modal Logic: AiML 9 (pp 95-96). College Publications.Conference contribution | http://www.aiml.net/volumes/volume9/Benthem.pdf | UvA-DAREvan Benthem, J.F.A.K. (2012) The nets of reason.Argument and Computation, Vol. 3 (pp 83-86)Editorial | https://doi.org/10.1080/19462166.2012.704400 | UvA-DAREvan Benthem, J.F.A.K. (2013) CRS and Guarded Logics: a fruitful contact.In Andréka, H. Ferenczi, M. Németi, I. (Eds.), Cylindric-like algebras and algebraic logic (pp 273-301) (Bolyai Society Mathematical Studies, Vol. 22). Springer.Chapter | https://doi.org/10.1007/978-3-642-35025-2_13 | UvA-DAREvan Benthem, J.F.A.K. (2013) Reasoning About Strategies.In Coecke, B. Ong, L. Panangaden, P. (Eds.), Computation, logic, games, and quantum foundations: the many facets of Samson Abramsky: essays dedicated to Samson Abramsky on the occasion of his 60th birthday (pp 336-347) (Lecture Notes in Computer Science, Vol. 7860). Springer.Chapter | https://doi.org/10.1007/978-3-642-38164-5_23 | 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