-
Swan, A. (2018) Lifting Problems in Grothendieck Fibrations.ArXiv e-printsWorking paper | https://arxiv.org/abs/1802.06718 | UvA-DARE
-
Swan, A. (2018) Some Brouwerian Counterexamples Regarding Nominal Sets in Constructive Set Theory.ArXiv e-printsWorking paper | https://arxiv.org/abs/1702.01556 | UvA-DARE
-
Sziráki, D., Väänänen, J.A. (2017) A dichotomy theorem for the generalized Baire space and elementary embeddability at uncountable cardinals.Fundamenta Mathematicae, Vol. 238 (pp 53-78)Article | https://doi.org/10.4064/fm130-9-2016 | UvA-DARE
-
Szmuc, D., Ferguson, T.M. (2021) Meaningless Divisions.Notre Dame Journal of Formal Logic, Vol. 62 (pp 399-424)Article | https://doi.org/10.1215/00294527-2021-0022 | UvA-DARE
-
Szymanik, J., Gierasimczuk, N. (2007) Hintikka's Thesis revisited.The Bulletin of Symbolic Logic, Vol. 13 (pp 273-273)Article | UvA-DARE
-
Szymanik, J., Meijering, B., Verbrugge, R. (2013) Using intrinsic complexity of turn-taking games to predict participants' reaction times.In Knauff, M. Pauen, M. Sebanz, N. Wachsmuth, I. (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). Cognitive Science Society.Conference contribution | https://cogsci.mindmodeling.org/2013/papers/0269/index.html | UvA-DARESzymanik, J., Mostowski, M. (2007) Computational complexity of some Ramsey quantifiers in finite models.The Bulletin of Symbolic Logic, Vol. 13 (pp 281-282)Article | UvA-DARESzymanik, J., Steinert-Threlkeld, S., Zajenkowski, M., Icard, T.F. (2013) Automata and Complexity in Multiple-Quantifier Sentence Verification.In West, R.L. Stewart, T.C. (Eds.), Proceedings of ICCM 2013: 12th International Conference on Cognitive Modeling (pp 239-244). Carleton University.Conference contribution | https://www.semanticscholar.org/paper/Automata-and-Complexity-in-Multiple-Quantifier-Szymanik-Szymanik/1979e7dc002c3a791f7b1bcfe03b0d5601aa5d93 | UvA-DARESzymanik, J., Thorne, C. (2013) Quantifier Distribution and Semantic Complexity.Szymanik, J., Thorne, C. (2017) Exploring the relation between semantic complexity and quantifier distribution in large corpora.Language Sciences, Vol. 60 (pp 80–93)Szymanik, J., Verbrugge, R. (2013) Logic and Cognition: Special Issue of Best Papers of the ESSLLI 2012 Workshop.Journal of Logic, Language and Information, Vol. 22 (pp 357-362)Editorial | https://doi.org/10.1007/s10849-013-9186-4 | UvA-DARESzymanik, J., Verbrugge, R. (2014) Proceedings of the Second Workshop Reasoning About Other Minds: Logical and Cognitive Perspectives: co-located with Advances in Modal Logic 2014 ; Groningen, The Netherlands, August 4, 2014.CEUR Workshop Proceedings, Vol. 1208. CEUR-WS.Book (Editorship) | http://ceur-ws.org/Vol-1208/ | UvA-DARESzymanik, J., Verbrugge, R. (2019) Tractability and the computational mind.In Sprevak, M. Colombo, M. (Eds.), The Routledge Handbook of the Computational Mind (pp 339-354) (Routledge Handbooks in Philosophy). Routledge.Conference contribution | https://doi.org/10.4324/9781315643670-26 | UvA-DARESzymanik, J., Zajenkowski, M. (2009) Improving methodology of quantifier comprehension experiments.Neuropsychologia, Vol. 47 (pp 2682-2683)Szymanik, J., Zajenkowski, M. (2009) Quantifiers and working memory.In Seventeenth Amsterdam Colloquium, December 16-18, 2009: pre-proceedings (pp 435-444). ILLC, University of Amsterdam.Conference contribution | http://www.illc.uva.nl/AC2009/uploaded_files/preproceedings.pdf | UvA-DARESzymanik, J., Zajenkowski, M. (2009) Understanding quantifiers in language.In Taatgen, N.A. van Rijn, H. (Eds.), Proceedings of the 31st Annual Conference of the Cognitive Science Society (pp 1109-1114). Cognitive Science Society.Conference contribution | http://csjarchive.cogsci.rpi.edu/Proceedings/2009/papers/260/index.html | UvA-DARESzymanik, J., Zajenkowski, M. (2010) Comprehension of simple quantifiers: empirical evaluation of a computational model.Cognitive Science, Vol. 34 (pp 521-532)Szymanik, J., Zajenkowski, M. (2010) Quantifiers and working memory.In Aloni, M. Bastiaanse, H. de Jager, T. Schulz, K. (Eds.), Logic, Language and Meaning: 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009 : revised selected papers (pp 456-464) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
FoLLI Publications on Logic, Language and Information, Vol. 6042). Springer.Conference contribution | https://doi.org/10.1007/978-3-642-14287-1_46 | UvA-DARESzymanik, J., Zajenkowski, M. (2011) Contribution of working memory in the parity and proportional judgments.Belgian Journal of Linguistics, Vol. 25 (pp 176-194)Article | https://doi.org/10.1075/bjl.25.08szy | UvA-DARESzymanik, J., Zajenkowski, M. (2013) Monotonicity has only a relative effect on the complexity of quantifier verification.In Aloni, M. Franke, M. Roelofsen, F. (Eds.), Proceedings of the 19th Amsterdam Colloquium (pp 219-225). ILLC, University of Amsterdam.Conference contribution | http://www.illc.uva.nl/AC/AC2013/uploaded_files/inlineitem/28_Szymanik_Zajenkowski.pdf | 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