Number of items: **65**.

MoL-2017-16:
Aina, Laura
(2017)
*Not logical: A distributional semantic account of negated adjectives.*
[Report]

PP-2017-12:
Airiau, Stéphane and Bonzon, Elise and Endriss, Ulle and Maudet, Nicolas and Rossit, Julien
(2017)
*Rationalisation of Profiles of Abstract Argumentation Frameworks: Characterisation and Complexity.*
[Pre-print]

MoL-2017-30:
Bacchin, Marco
(2017)
*The perception of number: towards a topological approach.*
[Report]

PP-2017-15:
Baltag, Alexandru and Boddy, Rachel and Smets, Sonja
(2017)
*Group Knowledge in Interrogative Epistemology.*
[Pre-print]

MoL-2017-11:
Benossi, Lisa
(2017)
*Pretending to work: a closed world reasoning formalisation of pretend play.*
[Report]

PP-2017-14:
Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan
(2017)
*On modal logics arising from scattered locally compact Hausdorff spaces.*
[Pre-print]

PP-2017-13:
Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan
(2017)
*A new proof of the McKinsey-Tarski Theorem.*
[Pre-print]

PP-2017-06:
Bezhanishvili, Guram and Bezhanishvili, Nick and Santoli, Thomas and Venema, Yde
(2017)
*A simple propositional calculus for compact Hausdorff spaces.*
[Pre-print]

PP-2017-19:
Bezhanishvili, Guram and Harding, John and Ilin, Julia and Lauridsen, Frederik Möllerström
(2017)
*MacNeille transferability and stable classes of Heyting algebras.*
[Pre-print]
(Submitted)

PP-2017-03:
Bezhanishvili, Nick and Marra, Vincenzo and McNeill, Daniel and Pedrini, Andrea
(2017)
*Tarski's theorem on intuitionistic logic, for polyhedra.*
[Pre-print]

MoL-2017-14:
Biziou-Van Pol, Laura
(2017)
*Quantum Dialogues.*
[Report]

MoL-2017-10:
Bułeczka, Andrzej
(2017)
*Medieval vs Contemporary Metaphysics of Intentionality and Logic.*
[Report]

PP-2017-11:
Chen, Weiwei and Endriss, Ulle
(2017)
*Preservation of Semantic Properties during the Aggregation of Abstract Argumentation Frameworks.*
[Pre-print]

MoL-2017-03:
Coopmans, Tim
(2017)
*Robust self-testing of (almost) all pure two-qubit states.*
[Report]

MoL-2017-19:
Cornelissen, Bas
(2017)
*Bayesian Language Games: Unifying and evaluating agent-based models of horizontal and vertical language evolution.*
[Report]

MoL-2017-01:
Dongen, Nina
(2017)
*Analysis and Prediction of Dutch-English Code-switching in Dutch Social Media Messages.*
[Report]

MoL-2017-24:
de Hoop, Zeno
(2017)
*Context-Free Processes and Push-Down Processes.*
[Report]

HDS-21:
de Lavalette, Gerard R. Renardel
(2017)
*Theories with type-free application and extended bar induction.*
Doctoral thesis, University of Amsterdam.

MoL-2017-08:
de Vos, Aafke
(2017)
*The Logic of Divinatory Reasoning.*
[Report]

HDS-23:
de Vries, Hendrik
(2017)
*Compact Spaces and Compactification: An Algebraic Approach.*
Doctoral thesis, University of Amsterdam.

MoL-2017-27:
de Vries, Mees
(2017)
*An Extensional Modified Realizability Topos.*
[Report]

PP-2017-20:
Endriss, Ulle
(2017)
*Trends in Computational Social Choice.*
[Pre-print]

PP-2017-01:
Endriss, Ulle and Grandi, Umberto
(2017)
*Graph Aggregation.*
[Pre-print]
(In Press)

PP-2017-04:
Enqvist, Sebastian and Seifan, Fatemeh and Venema, Yde
(2017)
*Completeness for mu-calculi: a coalgebraic approach.*
[Pre-print]
(Unpublished)

PP-2017-05:
Enqvist, Sebastian and Venema, Yde
(2017)
*Disjunctive bases: normal forms for modal logics.*
[Pre-print]
(Submitted)

PP-2017-10:
Galeotti, Lorenzo and Löwe, Benedikt
(2017)
*Order types of models of reducts of Peano Arithmetic and their fragments.*
[Pre-print]
(Unpublished)

PP-2017-08:
Galeotti, Lorenzo and Nobrega, Hugo
(2017)
*Towards computable analysis on the generalised real line.*
[Pre-print]
(In Press)

MoL-2017-04:
Griffioen, Simone
(2017)
*Covertly Controlling Choices: Manipulating Decision Making Under Partial Knowledge.*
[Report]

MoL-2017-07:
Hornischer, Levin
(2017)
*Hyperintensionality and Synonymy.*
[Report]

MoL-2017-31:
Janzen, Albert
(2017)
*The paradoxes of self-negation.*
[Report]

MoL-2017-20:
Kasbergen, Ottilia
(2017)
*Abstractions and Idealisations in Epistemic Logic.*
[Report]

MoL-2017-26:
Klein, Rana
(2017)
*The Logical Dynamics of Gossip: an analysis in Dynamic Epistemic Logic.*
[Report]

MoL-2017-06:
Koek, Merlijn
(2017)
*Extensions Of The Garden-hose Model.*
[Report]

MoL-2017-29:
Landerreche, Esteban
(2017)
*Leaning on Impossible-to-Parallelise Work for Immutability Guarantees in the Blockchain.*
[Report]

IV-12:
Mannoury, Gerrit
(2017)
*Over De Sociale Betekenis van de Wiskundige Denkvorm.*
[Report]

IV-11:
Mannoury, Gerrit
(2017)
*Over de beteekenis der wiskundige logica voor de philosophie.*
[Report]

MoL-2017-13:
Moon, Stella
(2017)
*Isaacson's thesis and Wilkie's theorem.*
[Report]

PP-2017-02:
Niekus, Joop
(2017)
*What is a choice sequence? How a solution of Troelstra's paradox shows the way to an answer to this question.*
[Pre-print]

MoL-2017-21:
Pasquariello, Alison
(2017)
*Mohawk Temporality: Embodiment, Ritual, and Cognition.*
[Report]

MoL-2017-17:
Piribauer, Jakob
(2017)
*The Modal Logic of Generic Multiverses.*
[Report]

MoL-2017-28:
Repplinger, Michael
(2017)
*Understanding Generalization: Learning Quantifiers and Negation with Neural Tensor Networks.*
[Report]

PP-2017-09:
Schneckenburger, Sebastian and Dorn, Britta and Endriss, Ulle
(2017)
*The Atkinson Inequality Index in Multiagent Resource Allocation.*
[Pre-print]

PP-2017-18:
Shi, Chenwei and Smets, Sonja and Velázquez-Quesada, Fernando R.
(2017)
*Argument-based Belief in Topological Structures.*
[Pre-print]

MoL-2017-02:
Sierra Márquez, Pablo
(2017)
*A formalization of Spinoza's Ethics, Part 1: Consequences for interpretation.*
[Report]

MoL-2017-25:
Sippel, Jonathan Frederik
(2017)
*The Good, the Bad, and the Difficult
Complexity in a Monotonicity-Grounded Natural Logic for Reasoning with Generalized Quantifiers.*
[Report]

PP-2017-17:
Smets, Sonja and Velázquez-Quesada, Fernando R.
(2017)
*The Creation and Change of Social Networks: a logical study based on group size.*
[Pre-print]
(In Press)

PP-2017-16:
Smets, Sonja and Velázquez-Quesada, Fernando R.
(2017)
*How to Make Friends: A Logical Approach to Social Group Creation.*
[Pre-print]

MoL-2017-12:
Solaki, Anthia
(2017)
*Steps out of Logical Omniscience.*
[Report]

MoL-2017-09:
Talmina, Natalia
(2017)
*Quantifiers and verification strategies: connecting the dots (literally).*
[Report]

MoL-2017-05:
Terzopoulou, Zoi
(2017)
*Manipulating the Manipulators: Richer Models of Strategic Behavior in Judgment Aggregation.*
[Report]

X-2017-01:
Trehan, Vidhi and Laloi, Aude and van Hoolwerff, Richard and Borensztajn, Gideon and Moas, Gal
(2017)
*The Suppression Task Revisited.*
[Report]

HDS-24:
Veldman, Wim
(2017)
*Investigations in Intuitionistic Hierarchy Theory.*
Doctoral thesis, University of Amsterdam.

PP-2017-07:
Velázquez-Quesada, Fernando R.
(2017)
*Reliability-Based Preference Dynamics: Lexicographic Upgrade.*
[Pre-print]
(In Press)

HDS-22:
Visser, Albert
(2017)
*Aspects of Diagonalization & Provability.*
Doctoral thesis, University of Amsterdam.

PP-2017-22:
van Benthem, Johan
(2017)
*Against All Odds: When Logic Meets Probability.*
[Pre-print]
(In Press)

PP-2017-21:
van Benthem, Johan
(2017)
*Constructive Agents.*
[Pre-print]
(In Press)

PP-2017-26:
van Benthem, Johan
(2017)
*Semantic Perspectives in Logic.*
[Pre-print]
(Submitted)

X-2017-02:
van Benthem, Johan
(2017)
*Truth Maker Semantics and Modal Information Logic.*
[Report]

PP-2017-24:
van Benthem, Johan
(2017)
*Working with Jan in Four Movements.*
[Pre-print]

PP-2017-23:
van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian
(2017)
*IPDL: a new modal logic of computation.*
[Pre-print]
(Submitted)

PP-2017-25:
van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian
(2017)
*A New Game Equivalence and Its Modal Logic.*
[Pre-print]

MoL-2017-23:
van der Knaap, Guido
(2017)
*The Philosophical Motivation for Proof-Theoretic Harmony.*
[Report]

MoL-2017-15:
Wagemaker, Jana
(2017)
*Gossip in NetKAT.*
[Report]

MoL-2017-22:
Wang, Shuai
(2017)
*Turing Learning with Nash Memory.*
[Report]

MoL-2017-18:
Zhao, Bonan
(2017)
*Dynamic Epistemic Logic Models for Predicting the Cognitive Difficulty of the Deductive Mastermind Game.*
[Report]