dr. J.K. (Jakub) Szymanik

  • Faculty of Humanities
    Capaciteitsgroep Taalwetenschap
  • Visiting address
    Spuistraat 134  Amsterdam
  • Postal address:
    Spuistraat  134
    1012 VB  Amsterdam
  • J.K.Szymanik@uva.nl


I am a tenured sssociate professor in the Institute for Logic, Language and Computation. I am affiliated with the Department of Linguistics and the Research Priority Area Brain & Cognition. I am also a principal investigator in Cognitive Semantics and Quantities project funded by the European Research Council and Language in Interaction project funded by NWO. I am leading Logic, Language, and Cognition Research Group. Please visit my personal website for more information.

Logic, Language, and Cognition Research Group

Broadly speaking the research group is interested in logic, linguistics, cognitive science, complexity theory, philosophy, and any combination of these. We specialize in natural language semantics, esp. generalized quantifiers and reasoning. We aim to integrate formal models with cognitive insights in order to obtain theories which are both explanatory and psychologically plausible. We pay special attention to how various formal measures of complexity can help us to understand difficulty of core cognitive abilities, like language comprehension or reasoning. Our approach is characterized by mixture of formal (logic, computational modeling, simulations) and empirical (neurobehavioral experiments, corpus linguistics) methods.

Lab Meetings

If you are interested in our most current project and would like to join lab meetings please visit my personal website.


  • Szymanik, J. (2016). Quantifiers and Cognition: Logical and Computational Perspectives. (Studies in Linguistics and Philosophy ; Vol. 96). Cham: Springer. DOI: 10.1007/978-3-319-28749-2 [details]
  • van de Pol, I., van Rooij, I., & Szymanik, J. (2016). Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic. Electronic Proceedings in Theoretical Computer Science, 215, 246-263. DOI: 10.4204/EPTCS.215.18 [details]


  • Munneke, G. J., & Szymanik, J. K. (2015). A non-monotonic extension of universal moral grammar theory. In Proceedings of the 37th Annual Conference of the Cognitive Science Society. [details]
  • Fangzhou, Z., Szymanik, J. K., & Titov, I. A. (2015). Toward a probabilistic mental logic for the syllogistic fragment of natural language. In Proceedings of the 20th Amsterdam Colloquium. [details]
  • Steinert-Threlkeld, S., Munneke, G. J., & Szymanik, J. K. (2015). Alternative representations in formal semantics: A case study of quantifiers. In Proceedings of the 20th Amsterdam Colloquium. [details]
  • Thorne, C., & Szymanik, J. K. (2015). Semantic complexity of quantifiers and their distribution in corpora. In Proceedings of the11th International Conference on Computational Semantics. [details]
  • de Haan, R., & Szymanik, J. K. (2015). A dichotomy result for Ramsey quantifiers. In Proceedings of the 22nd Workshop on Logic, Language, Information and Computation. [details]
  • van de Pol, I., van Rooij, I., & Szymanik, J. K. (2015). Parametrized complexity results for a model of Theory of Mind based on Dynamic Epistemic Logic. In Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge. [details]


  • Dégremont, C., Kurzen, L., & Szymanik, J. (2014). Exploring the tractability border in epistemic tasks. Synthese, 191(3), 371-408. DOI: 10.1007/s11229-012-0215-7 [details]
  • Kontinen, J., & Szymanik, J. (2014). A characterization of definability of second-order generalized quantifiers with applications to non-definability. Journal of Computer and System Sciences, 80(6), 1152-1162. DOI: 10.1016/j.jcss.2014.04.007 [details]
  • Bergwerff, G., Meijering, B., Szymanik, J. K., Verbrugge, R., & Wierda, S. (2014). Computational and algorithmic models of strategies in turn-based games. In Proceedings of the 36th Annual Conference of the Cognitive Science Society. (pp. 1778-1783). DOI: https://mindmodeling.org/cogsci2014/papers/309/ [details]
  • Dotlacil, J., Szymanik, J. K., & Zajenkowski, M. (2014). Probabilistic semantic automata in the verification of quantified statements. In Proceedings of the 36th Annual Conference of the Cognitive Science Society. (pp. 2967-2972). DOI: https://mindmodeling.org/cogsci2014/papers/512/ [details]
  • Isaac, A. M. C., Szymanik, J., & Verbrugge, R. (2014). Logic and complexity in cognitive science. In A. Baltag, & S. Smets (Eds.), Johan van Benthem on Logic and Information Dynamics (pp. 787-824). (Outstanding contributions to logic; Vol. 5). Cham: Springer. DOI: 10.1007/978-3-319-06025-5_30 [details]
  • Robaldo, L., Szymanik, J. K., & Meijering, B. (2014). On the identification of quantifiers' witness sets. Journal of Logic, Language and Information, 23(1), 53-81. DOI: 10.1007/s10849-014-9197-9 [details]
  • Zajenkowski, M., Szymanik, J., & Garraffa, M. (2014). Working Memory Mechanism in Proportional Quantifier Verification. Journal of Psycholinguistic Research, 43(6), 839-853. DOI: 10.1007/s10936-013-9281-3 [details]


  • Szymanik, J. K. (2013). Backward Induction is PTIME-complete. Lecture Notes in Computer Science, 8196. DOI: 10.1007/978-3-642-40948-6_32 [details]
  • Szymanik, J. K., & Verbrugge, R. (2013). Logic and Cognition: Special Issue of Best Papers of the ESSLLI 2012 Workshop. Journal of Logic, Language and Information, 22(4), 357-362. DOI: 10.1007/s10849-013-9186-4 [details]
  • Szymanik, J. K., & Zajenkowski, M. (2013). Monotonicity has only a relative effect on the complexity of quantifier verification. In Proceedings of the 19th Amsterdam Colloquium. (pp. 219-225). Amsterdam: ILLC, University of Amsterdam. [details]
  • Szymanik, J. K., & Zajenkowski, M. (2013). Most intelligent people are accurate and some fast people are intelligent. Intelligence, working memory, and semantic processing of quantifiers from a computational perspective. Intelligence, 41(5), 456-466. DOI: 10.1016/j.intell.2013.06.020 [details]
  • Szymanik, J. K., Steinert-Threlkeld, S., Zajenkowski, M., & Icard, T. (2013). Automata and Complexity in Multiple-Quantifier Sentence Verification. In Proceedings of the 12th International Conference on Cognitive Modeling. [details]
  • Szymanik, J., Meijering, B., & Verbrugge, R. (2013). Using intrinsic complexity of turn-taking games to predict participants' reaction times. In M. Knauff, M. Pauen, N. Sebanz, & I. Wachsmuth (Eds.), Cooperative minds: social interaction and group dynamics: proceedings of the 35th Annual Meeting of the Cognitive Science Society: Berlin, Germany, July 31-August 3, 2013. (pp. 1426-1431). Austin, TX: Cognitive Science Society. [details]


  • Szymanik, J. K., & Mostowski, M. (2012). Semantic bounds for everyday language. Semiotica, 188(1/4), 363-372. DOI: 10.1515/sem-2012-0022 [details]
  • Szymanik, J. K., & Robaldo, L. (2012). Pragmatic Identification of the Witness Sets. In N. Calzolari (Ed.), Proceeding of the 8th Conference on Language Resources and Evaluation. Istanbul: European Language Resources Association. [details]


  • Degremont, C. M. L., Kurzen, L., & Szymanik, J. K. (2011). On the tractability of comparing informational structures. CEUR Workshop Proceedings, 751[details]
  • Gierasimczuk, N., & Szymanik, J. K. (2011). A note on a generalization of the Muddy Children Puzzle. In Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge. ACM Digital Library. [details]
  • Gierasimczuk, N., & Szymanik, J. K. (2011). Invariance properties of quantifiers and multiagent information exchange. Lecture Notes in Artificial Intelligence, 6878. DOI: 10.1007/978-3-642-23211-4_5 [details]
  • Kontinen, J., & Szymanik, J. K. (2011). Characterizing definability of second-order generalized quantifiers. Lecture Notes in Artificial Intelligence, 6642. DOI: 10.1007/978-3-642-20920-8_20 [details]
  • Szymanik, J. K., & Zajenkowski, M. (2011). Contribution of working memory in the parity and proportional judgments. Belgian Journal of Linguistics, 25(1), 176-194. DOI: 10.1075/bjl.25.08szy [details]
  • Bott, O., Schlotterbeck, F., & Szymanik, J. K. (2011). Interpreting tractable versus intractable reciprocal sentences. In Proceedings of the International Conference on Computational Semantics 9. [details]
  • Zajenkowski, M., Styla, R., & Szymanik, J. (2011). A computational approach to quantifiers as an explanation for some language impairments in schizophrenia. Journal of Communication Disorder, 44(6), 595-600. DOI: 10.1016/j.jcomdis.2011.07.005 [details]
  • van Rooij, I., Kwisthout, J., Blokpoel, M., Szymanik, J., Wareham, T., & Toni, I. (2011). Intentional communication: computationally easy or difficult? Frontiers in Human Neuroscience, 5. DOI: 10.3389/fnhum.2011.00052 [details] [PDF]


  • Szymanik, J. K. (2010). Computational complexity of polyadic lifts of generalized quantifiers in natural language. Linguistics and Philosophy, 33(3). DOI: 10.1007/s10988-010-9076-z [details]
  • Szymanik, J. (2010). Almost all complex quantifiers are simple. Lecture Notes in Computer Science, 6149, 272-280. DOI: 10.1007/978-3-642-14322-9_21 [details]
  • Szymanik, J., & Zajenkowski, M. (2010). Comprehension of simple quantifiers: empirical evaluation of a computational model. Cognitive Science, 34(3), 521-532. DOI: 10.1111/j.1551-6709.2009.01078.x [details]
  • Szymanik, J., & Zajenkowski, M. (2010). Quantifiers and working memory. Lecture Notes in Computer Science, 6042, 456-464. DOI: 10.1007/978-3-642-14287-1_46 [details]
  • Isaac, A., & Szymanik, J. (2010). Logic and cognitive science: bridging the gap between symbolic and connectionist paradigms. Journal of Indian Council of Philosophical Research, 27(2), 279-309. [details]


  • Gierasimczuk, N., & Szymanik, J. (2009). Branching quantification v. two-way quantification. Journal of Semantics, 26(4), 367-392. DOI: 10.1093/jos/ffp008 [details]
  • Szymanik, J. (2009). Almost all complex quantifiers are simple. In Pre-proceedings of the 11th Meeting on the Mathematics of Language (MOL 11) (pp. 109-118) [details] [PDF]
  • Szymanik, J. (2009). The computational complexity of quantified reciprocals. Lecture Notes in Computer Science, 5422, 139-152. DOI: 10.1007/978-3-642-00665-4_12 [details]
  • Szymanik, J., & Zajenkowski, M. (2009). Improving methodology of quantifier comprehension experiments. Neuropsychologia, 47(12), 2682-2683. DOI: 10.1016/j.neuropsychologia.2009.04.004 [details]
  • Szymanik, J., & Zajenkowski, M. (2009). Quantifiers and working memory. In Seventeenth Amsterdam Colloquium, December 16-18, 2009: pre-proceedings (pp. 435-444). Amsterdam: ILLC, University of Amsterdam. [details]
  • Szymanik, J., & Zajenkowski, M. (2009). Understanding quantifiers in language. In N. Taatgen, & H. van Rijn (Eds.), Proceedings of the Thirty-First Annual Conference of the Cognitive Science Society (pp. 1109-1114). Austin, TX: Cognitive Science Society. [details] [PDF]



  • Szymanik, J. (2007). A Note on some Neuroimaging Study of Natural Language Quantifiers Comprehension. Neuropsychologia, 45(9), 2158-2160. DOI: 10.1016/j.neuropsychologia.2007.01.016 [details]
  • Szymanik, J. (2007). Computational semantics for monadic quantifiers in natural language. Studia Semiotyczne, 26, 219-244. [details]
  • Szymanik, J. (2007). Strong Meaning Hypothesis from a Computational Perspective. In P. D. F. Roelofsen M. Aloni (Ed.), Proceedings of the Sixteenth Amsterdam Colloquium. (pp. 211-216). Amsterdam. [details]
  • Szymanik, J., & Mostowski, M. (2007). Computational complexity of some Ramsey quantifiers in finite models. The Bulletin of Symbolic Logic, 13, 281-282. [details]
  • Szymanik, J., & Gierasimczuk, N. (2007). Hintikka's Thesis revisited. The Bulletin of Symbolic Logic, 13, 273-273. [details]


  • Szymanik, J. K. (2013). Communication and cooperation. In J. van Benthem, & F. Liu (Eds.), Logic Across the University: Foundations and Applications: proceedings of the Tsinghua Logic Conference, Beijing, 2013 (Studies in Logic; Vol. 47). London: College Publications. [details]

Scientific position

  • Szymanik, Jakub (member) (2017): Semantics and Linguistic Theory 27, 2017 (Event).
  • Szymanik, Jakub (member) (2017): Experimental Pragmatics 7, 2017 (Event).
  • Szymanik, Jakub (member) (2017): Quantifiers and Determiners workshop at ESSLLI 2017 (Event).
  • Szymanik, Jakub (member) (2017): Sinn und Bedeutung 22, 2017 (Event).
  • Szymanik, Jakub (member) (2016): Conference on Logical Aspects of Computational Linguistics, 2016 (Event).
  • Szymanik, Jakub (member) (2016): 11th International Workshop on Neural-Symbolic Learning and Reasoning at IJCAI, 2016 (Event).
  • Szymanik, Jakub (member) (2016): 15th European Conference on Logics in Artificial Intelligence (Event).
  • Szymanik, Jakub (member) (2016): Poznań Reasoning Week 2016 (Event).
  • Szymanik, Jakub (member) (2016): Semantics and Linguistic Theory 26, 2016 (Event).
  • Szymanik, Jakub (member) (2016): PhDs in Logic, 2016 (Event).

Keynote / invited lecture

  • Szymanik, Jakub (speaker) (2017): Bridging natural logic and probabilities to model human reasoning, CADILLAC Workshop.


  • Szymanik, J. K. (2009). Quantifiers in TIME and SPACE : computational complexity of generalized quantifiers in natural language Amsterdam: Institute for Logic, Language and Computation [details / files]
This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications.
  • No ancillary activities

edit contact information edit tabs