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

Pedersen, M.Y., Smets, S., Ågotnes, T. (2019) Analyzing Echo Chambers: A Logic of Strong and Weak Ties.

In Blackburn, P. Lorini, E. Guo, M. (Eds.), Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019 : proceedings (pp 183-198) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 11813). Springer.

Pedersen, M.Y., Smets, S., Ågotnes, T. (2020) Further Steps Towards a Logic of Polarization in Social Networks.

In Dastani, M. Dong, H. van der Torre, L. (Eds.), Logic and Argumentation: Third International Conference, CLAR 2020, Hangzhou, China, April 6–9, 2020 : proceedings (pp 324-345) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence, Vol. 12061). Springer.

Pedersen, M.Y., Smets, S., Ågotnes, T. (2021) Modal Logics and Group Polarization.

Journal of Logic and Computation, Vol. 31 (pp 2240-2269)

Article | https://doi.org/10.1093/logcom/exab062 | UvA-DARE