Parfenova, I., Elliott, D., Fernández, R., Pezzelle, S. (2021) Probing Cross-Modal Representations in Multi-Step Relational Reasoning.

In Rogers, A. Calixto, I. Vulić, I. Saphra, N. Kassner, N. Camburu, O.-M. Bansal, T. Shwartz, V. (Eds.), The 6th Workshop on Representation Learning for NLP: RepL4NLP 2021 : proceedings of the workshop : August 6, 2021, Bangkok, Thailand (online) (pp 152–162). The Association for Computational Linguistics.

Parkkinen, V.-P., Russo, F., Wallmann, C. (2017) Scientific disagreement and evidential pluralism: Lessons from the studies on hypercholesterolemia.

Humana.Mente : Journal of Philosophical Studies, Vol. 10 (pp 75-116)

Article | http://www.humanamente.eu/index.php/HM/article/view/34 | UvA-DARE

Parkkinen, V.-P., Wallmann, C., Wilde, M., Clarke, B., Illari, P., Kelly, M.P., Norell, C., Russo, F., Shaw, B., Williamson, J. (2018) Evaluating evidence of mechanisms in medicine: Principles and rocedures.

SpringerBriefs in Philosophy. SpringerOpen.

Book | https://doi.org/10.1007/978-3-319-94610-8 | UvA-DARE

Passmann, R. (2020) De Jongh’s Theorem for Intuitionistic Zermelo-Fraenkel Set Theory.

In Fernández, M. Muscholl, A. (Eds.), 28th EACSL Annual Conference on Computer Science Logic: CSL 2020, January 13-16, 2020, Barcelona, Spain (Leibniz International Proceedings in Informatics, Vol. 152). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Passmann, R. (2021) Should pluralists be pluralists about pluralism?.

Synthese, Vol. 199 (pp 12663-12682)

Article | https://doi.org/10.1007/s11229-021-03348-5 | UvA-DARE

Passmann, R. (2023) Logical structure of constructive set theories.

ILLC dissertation series

Thesis, fully internal | UvA-DARE

Passmann, R. (2024) The First-Order Logic of CZF is Intuitionistic First-Order Logic.

Journal of Symbolic Logic, Vol. 89 (pp 308-330)

Article | https://doi.org/10.1017/jsl.2022.51 | UvA-DARE

Patil, A., Jumelet, J., Chiu, Y.Y., Lapastora, A., Shen, P., Wang, L., Willrich, C., Steinert-Threlkeld, S. (2024) Filtered Corpus Training (FiCT) Shows that Language Models Can Generalize from Indirect Evidence.

Transactions of the Association for Computational Linguistics, Vol. 12 (pp 1597-1615)

Article | https://doi.org/10.1162/tacl_a_00720 | UvA-DARE

Patro, S. (2023) Quantum fine-grained complexity.

ILLC Dissertation Series

Thesis, fully internal | UvA-DARE

Pauly, M., Baltag, A. (1999) Proceedings of the ILLC Workshop on Logic and Games.

Technical report ILLC. vg logic/info (oud WINS).

Report | UvA-DARE

Pauly, M., Dekker, P.J.E. (2002) Special issue on Logic and Games.

Journal of Logic, Language and Information (JoLLI). Springer.

Book (Editorship) | UvA-DARE

Pauly, M., Faller, M., Kaufman, S. (2000) Formalizing the Dynamics of Information.

CSLI Publications.

Book (Editorship) | UvA-DARE

Pauly, M. (1999) Modeling Coalitional Power in Modal Logic.

In Proceedings of the 12th Amsterdam Colloquium

Pauly, M. (1999) Game Constructions that are Safe for Bisimulation.

In Marx, M. Gerbrandy, J. de Rijke, M. Venema, Y. (Eds.), JFAK --- Essays dedicated to Johan van Benthem on the Occasion of his 50th Birthday. ILLC.

Pauly, M. (2001) Logic for social software.

Thesis, fully internal | UvA-DARE

Pauly, M. (2001) A logical framework for coalitional effectivity in dynamic procedures.

Bulletin of Economic Research, Vol. 53 (pp 305-324)

Article | UvA-DARE

Pauw, S., Chang, N. (2012) Size Matters: The Conceptual Duality of Gradable Quantifiers.

Abstract | UvA-DARE

Pauw, S., Hilferty, J. (2012) The Emergence of Quantifiers.

In Steels, L. (Eds.), Experiments in cultural language evolution (pp 277-304) (Advances in interaction studies). John Benjamins.

Pauw, S., Spranger, M. (2012) Embodied Quantifiers.

In Lassiter, D. Slavkovik, M. (Eds.), New Directions in Logic, Language and Computation: ESSLLI 2010 and ESSLLI 2011 Student Sessions : selected papers (pp 52-66) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 7415). Springer.

Pauw, S. (2013) Size matters: Grounding quantifiers in spatial perception.

Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE