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

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) A logical framework for coalitional effectivity in dynamic procedures.

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

Article | UvA-DARE

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

Thesis, fully internal | 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

Pauwels, P., Bod, R. (2012) 'Applications for experimenting' or 'reasoning agents' as design decision support tools.

Poster | UvA-DARE

Pauwels, P., Bod, R. (2013) Including the power of interpretation through a simulation of Peirce’s process of inquiry.

Literary and Linguistic Computing, Vol. 28 (pp 452-460)

Article | https://doi.org/10.1093/llc/fqs056 | UvA-DARE

Pauwels, P., Bod, R. (2014) Architectural design thinking as a form of model-based reasoning.

Studies in applied philosophy, epistemology and rational ethics, Vol. 8 (pp 583-608)

Article | https://doi.org/10.1007/978-3-642-37428-9_32 | UvA-DARE

Pauwels, P., Di Mascio, D., De Meyer, R., Bod, R. (2013) Integrating building information modelling and semantic web technologies for the management of built heritage information.

In Proceedings of the International Congress of Digital Heritage (pp 481-488)

Pauwels, P., Morkel, J., Bod, R. (2014) Reasoning processes involved in ICT-mediated design communication.

In Laakso, M. Ekman, K. (Eds.), Proceedings of NordDesign 2014 Conference (pp 213-222). Aalto University.

Pedersen, M.Y., Slavkovik, M., Smets, S. (2021) Social Bot Detection as a Temporal Logic Model Checking Problem.

In Ghosh, S. Icard, T. (Eds.), Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021, Xi'an, China, October 16-18, 2021 : proceedings (pp 158-173) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 13039). Springer.

Pedersen, M.Y., Slavkovik, M., Smets, S. (2023) Detecting bots with temporal logic.

Synthese, Vol. 202

Article | https://doi.org/10.1007/S11229-023-04264-6 | UvA-DARE