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]
DS-2017-08: Alhama, Raquel Garrido (2017) Computational Modelling of Artificial Language Learning: Retention, Recognition & Recurrence. Doctoral thesis, University of Amsterdam.
DS-2017-07: Aybüke Özgün (2017) Evidence in Epistemic Logic: A Topological Perspective. Doctoral thesis, University of Amsterdam.
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]
DS-2017-04: Cinà, Giovanni (2017) Categories for the working modal logician. Doctoral thesis, University of Amsterdam.
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]
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)
DS-2017-01: Galeazzi, Paolo (2017) Play Without Regret. Doctoral thesis, University of Amsterdam.
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]
DS-2017-06: Hawke, Peter (2017) The Problem of Epistemic Relevance. Doctoral thesis, University of Amsterdam.
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]
DS-2017-02: Pinosio, Riccardo (2017) The Logic of Kant's Temporal Continuum. Doctoral thesis, University of Amsterdam.
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]
DS-2017-09: Stanojević, Miloš (2017) Permutation Forests for Modeling Word Order in Machine Translation. Doctoral thesis, University of Amsterdam.
DS-2017-05: Steinert-Threlkeld, Shane Noah (2017) Communication and Computation: New Questions About Compositionality. Doctoral thesis, University of Amsterdam.
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.
MoL-2017-15: Wagemaker, Jana (2017) Gossip in NetKAT. [Report]
MoL-2017-22: Wang, Shuai (2017) Turing Learning with Nash Memory. [Report]
DS-2017-03: Westera, Matthijs (2017) Exhaustivity and intonation: a unified theory. Doctoral thesis, University of Amsterdam.
MoL-2017-18: Zhao, Bonan (2017) Dynamic Epistemic Logic Models for Predicting the Cognitive Difficulty of the Deductive Mastermind Game. [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-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]
![[up]](/style/images/multi_up.png)
Up a level