DS-1997-04: Aliseda-LLera, Atocha (1997) Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence. Doctoral thesis, University of Amsterdam.
MoL-2021-03: Anttila, Aleksi (2021) The Logic of Free Choice Axiomatizations of State-based Modal Logics. [Report]
PP-2022-06: Baltag, Alexandru and Bezhanishvili, Nick and Fernandez Duque, David (2022) The Topology of Surprise. [Pre-print]
PP-2019-14: Baltag, Alexandru and Özgün, Aybüke and Vargas, Ana Lucia (2019) Arbitrary Public Announcement Logic with Memory. [Pre-print]
PP-2017-15: Baltag, Alexandru and Boddy, Rachel and Smets, Sonja (2017) Group Knowledge in Interrogative Epistemology. [Pre-print]
PP-2020-06: Baltag, Alexandru and van Benthem, Johan (2020) A Simple Logic of Functional Dependence. [Pre-print] (Submitted)
PP-2019-02: Baltag, Alexandru and van Benthem, Johan (2019) Some Thoughts on the Logic of Imprecise Observation. [Pre-print]
PP-2020-19: Baltag, Alexandru and van Benthem, Johan and Westerstähl, Dag (2020) Compositionality in Context. [Pre-print] (In Press)
MoL-2019-20: Belardinelli, Gaia (2019) Gatekeepers in Social Networks: Logics for Communicative Actions. [Report]
DS-2022-01: Bellomo, Anna (2022) Sums, Numbers and Infinity: Collections in Bolzano’s Mathematics and Philosophy. Doctoral thesis, University of Amsterdam.
MoL-2017-11: Benossi, Lisa (2017) Pretending to work: a closed world reasoning formalisation of pretend play. [Report]
MoL-2017-14: Biziou-Van Pol, Laura (2017) Quantum Dialogues. [Report]
MoL-2016-08: Botan, Sirin (2016) Propositional Opinion Diffusion with Constraints. [Report]
MoL-2023-18: Brehm, Martijn (2023) Quantifying quantum walk speed-ups. [Report]
MoL-2023-27: Bronner, Elias (2023) Unrestricted Fusion and Unrestricted Quantification: Mereological Essentialism and the Universe. [Report]
DS-2018-04: Bruineberg, Jelle (2018) Anticipating Affordances: Intentionality in self-organizing brain-body-environment systems. Doctoral thesis, University of Amsterdam.
MoL-2017-10: Bułeczka, Andrzej (2017) Medieval vs Contemporary Metaphysics of Intentionality and Logic. [Report]
MoL-2020-15: Campa, Marta (2020) Deflationism about Reference. [Report]
PP-2018-17: Chen, Weiwei and Endriss, Ulle (2018) Aggregating Alternative Extensions of Abstract Argumentation Frameworks: Preservation Results for Quota Rules. [Pre-print]
PP-2019-16: Chen, Weiwei and Endriss, Ulle (2019) Preservation of Semantic Properties in Collective Argumentation: The Case of Aggregating Abstract Argumentation Frameworks. [Pre-print]
MoL-2023-24: Chu, Tianyi (2023) Topic-relevance and Hyperintensional Belief. [Report]
MoL-2023-30: Cissell, Isabella (2023) The Pretense View of Fiction. [Report]
MoL-2018-25: Commandeur, Leon (2018) Logical Functionalism. [Report]
DS-2008-10: Counihan, Marian (2008) Looking for logic in all the wrong places: an investigation of language, literacy and logic in reasoning. Doctoral thesis, University of Amsterdam.
DS-2015-01: Crespo, María Inés (2015) Affecting Meaning. Subjectivity and evaluativity in gradable adjectives. Doctoral thesis, University of Amsterdam.
MoL-2020-05: Călinoiu, Teodor Tiberiu (2020) What Structural Objects Could Be: Mathematical Structuralism and its Prospects. [Pre-print]
X-2024-01: De Jong, Eline (2024) Better secure than sorry? Assessing the quantum cybersecurity 'risk'. [Pre-print]
X-2024-02: Dekker, Paul (2024) Conceptual Windows Afford Views on Satisfying Individuals. [Report]
X-2024-04: Dekker, Paul (2024) On Presenting Objects in Propositions. [Report]
X-2022-06: Dekker, Paul (2022) Truth and Agreement. [Report]
MoL-2023-06: Diephuis, Storm (2023) Effective Kan fibrations for simplicial groupoids, semisimplicial sets and Ex∞. [Report]
MoL-2023-13: Dominguez Parrado, Sabina (2023) Metaphysical Multiversism: from Armchair to Practice. [Report]
DS-2010-03: Dégremont, Cédric (2010) The Temporal Mind. Observations on the logic of belief change in interactive systems. Doctoral thesis, University of Amsterdam.
DS-2001-03: de Haas, Erik (2001) Logics For OO Information Systems: a Semantic Study of Object Orientation from a Categorial Substructural Perspective. Doctoral thesis, University of Amsterdam.
MoL-2017-08: de Vos, Aafke (2017) The Logic of Divinatory Reasoning. [Report]
PP-2019-29: Endriss, Ulle (2019) Collective Information. [Pre-print] (In Press)
PP-2018-16: Endriss, Ulle (2018) Judgment Aggregation with Rationality and Feasibility Constraints. [Pre-print]
MoL-2022-05: Felderhoff, Lukas (2022) Single-Peaked Electorates in Liquid Democracy. [Report]
MoL-2019-18: Ferrari, Matteo (2019) Questioning Philosophy. [Report]
MoL-2023-02: Fish, Andrew (2023) Extensional Realism: Interesting and Uninteresting Truths. [Report]
MoL-2020-11: Flaten, Eric (2020) Toward a formal representation of radical interpretation. [Report]
MoL-2019-06: Franchini, Anna (2019) Space and the Continuum from Kant to Poincaré. [Report]
DS-2012-06: Gakis, Dimitris (2012) Contextual Metaphilosophy - The Case of Wittgenstein. Doctoral thesis, University of Amsterdam.
MoL-2016-24: Gioulatou, Iliana (2016) Hyperintensionality. [Report]
MoL-2018-29: Haenen, Jana (2018) A Gödel-style translation from positive calculus into strict implication logic. [Report]
MoL-2020-06: Havelange, Maëlle (2020) ‘White horse not horse’: An Analysis of Modern Interpretative Approaches to Kung-sun Lung’s White Horse Discourse. [Pre-print]
PP-2019-15: Hawke, Peter and Özgün, Aybüke (2020) Truthmaker Semantics for Epistemic Logic. [Pre-print] (In Press)
MoL-2016-22: Hendriks, Tom (2016) Beyond the Regular: A Formalization of Non-Isochronous Metrical Structure. [Report]
MoL-2021-21: Hui, Terence (2021) A Compositional Analysis of Dependence Statements. [Report]
MoL-2023-15: Huising, Philemon L. (2023) Multiwinner Voting with Priority Candidates. [Report]
MoL-2023-31: Iatrou, Evan (Evangelos) (2023) Reclaiming Enlightenment: on the logical foundations of the rule of law in a legitimate algocracy. [Report]
HDS-10: Janssen, Theo (2014) Foundations and applications of Montague grammar. Doctoral thesis, University of Amsterdam.
MoL-2017-31: Janzen, Albert (2017) The paradoxes of self-negation. [Report]
DS-2000-02: Kamps, Jaap (2000) A Logical Approach to Computational Theory Building (with applications to sociology). Doctoral thesis, University of Amsterdam.
MoL-2019-14: Karačić, Tomislav (2019) The Informational View of Technologies in the Scientific Practice. [Report]
MoL-2017-20: Kasbergen, Ottilia (2017) Abstractions and Idealisations in Epistemic Logic. [Report]
DS-2014-01: Keestra, Machiel (2014) Sculpting the Space of Actions. Explaining Human Action by Integrating Intentions and Mechanisms. Doctoral thesis, University of Amsterdam.
MoL-2017-26: Klein, Rana (2017) The Logical Dynamics of Gossip: an analysis in Dynamic Epistemic Logic. [Report]
MoL-2022-14: Klochowicz, Tomasz (2022) Investigating semantic and selectional properties of clause-embedding predicates in Polish. [Report]
MoL-2023-10: Kooiman, Isa Anne (2023) Unraveling vagueness: Exploring its puzzles, its nature, and their interplay. [Report]
MoL-2021-28: Kroes, Pepijn (2021) Finiteness, Invariance, and Analogy: A Minimal Model for Adaptive Processes. [Report]
MoL-2024-06: Kroon, Wessel (2024) Knowledge as Issue-Relevant Information. [Report]
MoL-2021-23: Køhlert, Sebastian N. (2021) Measuring What Exactly? A Critique of Causal Modelling in Atheoretical Econometrics. [Report]
MoL-2022-06: klein Goldewijk, Thomas (2022) Fairness in Perpetual Participatory Budgeting. [Report]
DS-2011-09: Leal, Raul Andres (2011) Modalities Through the Looking Glass: A study on coalgebraic modal logic and their applications. Doctoral thesis, University of Amsterdam.
PP-2024-01: Leo, Joop (2024) Reconciling positionalism and antipositionalism. [Pre-print] (In Press)
DS-2021-13: Li, Dazhu (2021) Formal Threads in the Social Fabric: Studies in the Logical Dynamics of Multi-Agent Interaction. Doctoral thesis, University of Amsterdam.
MoL-2018-07: Lisowski, Grzegorz (2018) Preventing Manipulation in Aggregating Value-Based Argumentation Frameworks. [Report]
MoL-2023-34: Lissoni, Evelina (2023) Why logical pluralists should be anti-exceptionalists. [Report]
MoL-2019-21: Lui, Ho-Yin (2019) Expressive Limitations and the Liar’s Revenge: A Strict-Tolerant Solution and A Pragmatic Solution For Dialetheism. [Report]
MoL-2018-22: Luthra, Mrinalini (2018) How do we Develop Ethically Aware AI? [Report]
PP-2007-22: Löwe, Benedikt (2007) Visualization of ordinals. [Report]
PP-2010-11: Löwe, Benedikt and Müller, Thomas (2010) Mathematical knowledge and skills. [Report]
PP-2007-32: Löwe, Benedikt and Müller, Thomas and Wilhelmus, Eva (2007) Mathematical knowledge: a case study in empirical philosophy of mathematics. [Report]
PP-2018-07: Löwe, Benedikt and Van Kerkhove, Bart (2018) Methodological triangulation in empirical philosophy (of mathematics). [Pre-print] (In Press)
MoL-2020-03: Maden, Rachel (2020) The nature of referential intentions. [Pre-print]
DS-2015-02: Madsen, Mathias Winther (2015) The Kid, the Clerk, and the Gambler - Critical Studies in Statistics and Cognitive Science. Doctoral thesis, University of Amsterdam.
MoL-2018-28: McHugh, Dean (2018) Counterfactuals and the Logic of Imaginative Content. [Report]
PP-2016-38: McWhirter, Sarah and Szymanik, Jakub (2016) Constructing Semantic Automata for Quantifier Iterations. [Report]
MoL-2021-14: Michelini, Matteo (2021) When Being the Fifth Wheel Pays Off: Wisdom of the Crowds with Costly Information. [Report]
MoL-2018-02: Molenaar, Laura S. (2018) Quine and Loglan: the Influence of Philosophical Ideas on the Creation of a Logical Language. [Pre-print]
MoL-2017-13: Moon, Stella (2017) Isaacson's thesis and Wilkie's theorem. [Report]
MoL-2024-16: Müller, Michael A. (2024) Arguing with Doubt. [Report]
MoL-2023-26: Müller, Valentin (2023) On the Proof Theory of Inquisitive Logic. [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-2018-05: Nizzardo, Matteo (2018) Leibniz's Principle and the Problem of Nonindividuality. [Pre-print]
X-2018-01: O'Connell, David (2018) Supertasks and Spacetime. [Report]
MoL-2016-25: Occhipinti Liberman, Andrés (2016) Dynamic Evidence Logics with Relational Evidence. [Report]
MoL-2019-05: Oortwijn, Yvette (2019) Dynamic Set Theory. [Report]
MoL-2022-18: Oudshoorn, Anouk Michelle (2022) Cost Fixed Point Logic. [Report]
MoL-2017-21: Pasquariello, Alison (2017) Mohawk Temporality: Embodiment, Ritual, and Cognition. [Report]
MoL-2018-15: Pesetsky, Jonathan (2018) Factual Conditionals and Hypothetical Commitments. [Report]
DS-2017-02: Pinosio, Riccardo (2017) The Logic of Kant's Temporal Continuum. Doctoral thesis, University of Amsterdam.
LP-1989-06: Prijatelj, Andreja (1989) Intensional Lambek Calculi: Theory and Application. [Report]
PP-2019-31: Proietti, Carlo and Grossi, Davide and Smets, Sonja and Velázquez-Quesada, Fernando R. (2019) Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes Authors. [Pre-print]
PP-2020-07: Proietti, Carlo and Yuste-Ginel, Antonio (2020) Persuasive Argumentation and Epistemic Attitudes. [Pre-print]
MoL-2015-32: Ramírez Abarca, Aldo Iván (2015) Topological Models for Group Knowledge and Belief. [Report]
MoL-2022-12: Romanovskiy, Vasily (2022) "A-ha, I hadn’t thought of that": the Bayesian Problem of Awareness Growth. [Report]
MoL-2019-28: Rosella, Giuliano (2019) A Truthmaker Semantics Approach to Modal Logic. [Report]
DS-2008-03: Roy, Olivier (2008) Thinking before Acting: Intentions, Logic, Rational Choice. Doctoral thesis, University of Amsterdam.
MoL-2022-28: Rushbrooke, Thibault (2023) Taming the Infinity Quantifier: On Well-Behaved Fragments of First-Order Logic with the Quantifier 'There are Infinitely Many'. [Report]
MoL-2023-05: Scholz, Christian Oliver (2023) Imaginability as Representability: A Wittgensteinian Approach to Aphantasia. [Report]
DS-2020-15: Schoonen, Tom (2020) Tales of Similarity and Imagination. A modest epistemology of possibility. Doctoral thesis, University of Amsterdam.
PP-2020-21: Schoonen, Tom (2020) The Problem of Modally Bad Company. [Pre-print] (In Press)
MoL-2016-28: Sequeira, Nigel (2016) Knowing How To Do Semantics. [Report]
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-2019-24: Solaki, Anthia (2019) Rule-based Reasoners in Epistemic Logic. [Pre-print]
MoL-2017-12: Solaki, Anthia (2017) Steps out of Logical Omniscience. [Report]
PP-2019-25: Solaki, Anthia (2019) A dynamic epistemic logic for resource-bounded agents. [Pre-print]
PP-2019-12: Solaki, Anthia and Berto, Francesco and Smets, Sonja (2019) The Logic of Fast and Slow Thinking. [Pre-print] (In Press)
PP-2018-18: Solaki, Anthia and Smets, Sonja (2018) The effort of reasoning: modelling the inference steps of boundedly rational agents. [Pre-print]
PP-2019-26: Solaki, Anthia and Velázquez-Quesada, Fernando R. (2019) Towards a logical formalisation of Theory of Mind: a study on False Belief Tasks. [Pre-print] (In Press)
DS-2010-07: Staudacher, Marc (2010) Use theories of meaning between conventions and social norms. Doctoral thesis, University of Amsterdam.
DS-1997-05: Stein, Harry (1997) The Fiber and the Fabric: An Inquiry into Wittgenstein's Views on Rule-Following and Linguistic Normativity. Doctoral thesis, University of Amsterdam.
PP-2019-19: Terzopoulou, Zoi and Endriss, Ulle (2019) Aggregating Incomplete Pairwise Preferences by Weight. [Pre-print]
PP-2019-28: Terzopoulou, Zoi and Endriss, Ulle (2019) Neutrality and Relative Acceptability in Judgment Aggregation. [Pre-print] (In Press)
PP-2019-20: Terzopoulou, Zoi and Endriss, Ulle (2019) Optimal Truth-Tracking Rules for the Aggregation of Incomplete Judgments. [Pre-print]
PP-2019-17: Terzopoulou, Zoi and Endriss, Ulle (2019) Rethinking the Neutrality Axiom in Judgment Aggregation (Extended Abstract). [Pre-print]
PP-2019-18: Terzopoulou, Zoi and Endriss, Ulle (2019) Strategyproof Judgment Aggregation under Partial Information. [Pre-print] (In Press)
MoL-2023-36: Thul, Jonathan (2023) The Logical Dynamics of Social Networks: From Homophily to Polarization. [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]
X-2018-02: Troelstra, A.S. (2018) Corrections to some Publications. [Report]
MoL-2018-16: Turska, Julia Joanna (2018) Conceptual Relativism and Linguistic Anthropology: How to comprehend the incomprehensible? [Report]
MoL-2018-18: Viterbo Ferreira, Jorge (2018) The Problem of Counterpossibles. [Report]
MoL-2019-17: Vollmer, Michael (2019) On Logical Nihilism. [Report]
MoL-2021-08: Vonlanthen, Simon Dominik (2021) Natural Language and Logical Consequence: An Inferentialist Account. [Report]
PP-2021-10: van Benthem, Johan and Icard, Thomas (2021) Interfacing Logic and Counting. [Pre-print] (Submitted)
PP-2017-21: van Benthem, Johan (2017) Constructive Agents. [Pre-print] (In Press)
PP-2013-02: van Benthem, Johan (2013) Implicit and Explicit Stances in Logic. [Pre-print] (Submitted)
PP-2021-04: van Benthem, Johan (2021) Lof der Onmogelijkheid. [Pre-print] (In Press)
PP-2005-21: van Benthem, Johan (2005) Logic in Philosophy. [Report]
X-2008-02: van Benthem, Johan (2008) Philosophy of Mathematics: Five Candid Answers. [Report]
PP-2021-02: van Benthem, Johan (2021) Relational Patterns, Partiality, and Set Lifting in Modal Semantics. [Pre-print] (Submitted)
PP-2016-41: van Benthem, Johan (2016) "Transmissie, Emergentie en Fading Foundations", a commentary. [Pre-print]
X-2017-02: van Benthem, Johan (2017) Truth Maker Semantics and Modal Information Logic. [Report]
PP-2005-22: van Benthem, Johan (2005) Where is Logic Going, and Should It? [Report]
PP-2019-11: van Benthem, Johan and Liu, Fenrong and Smets, Sonja (2019) Logico-Computational Aspects of Rationality. [Pre-print] (In Press)
PP-2019-22: van Emde Boas, Peter and van Emde Boas-Lubsen, Ghica (2019) The Rules of Victorious Warriors - revised version. [Pre-print] (In Press)
PP-2019-23: van Emde Boas-Lubsen, Ghica and Zhao, Bonan and van Emde Boas, Peter (2019) Sun Tzu and the Rules of Victorious Warriors; Analysing the rules of Sun Tzu using Mind maps. [Pre-print]
DS-2000-04: van Ulsen, Paul (2000) E.W. Beth als logicus. Doctoral thesis, University of Amsterdam.
X-2022-02: van Ulsen, Paul (2022) Onderwijs en onderzoek in logica en wetenschapsfilosofie. [Report]
X-2022-04: van Ulsen, Paul (2022) Organisaties en genootschappen. [Report]
X-2022-03: van Ulsen, Paul (2022) Wetenschapsfilosofie. [Report]
MoL-2018-26: van den Broek, Max (2018) You Don't Believe This Is The Title Moore's Paradox and its relation to the Surprise Exam Paradox, the Knowability Paradox, the Toxin Problem and Newcomb’s Problem. [Report]
MoL-2017-23: van der Knaap, Guido (2017) The Philosophical Motivation for Proof-Theoretic Harmony. [Report]
LP-1989-07: Wansing, Heinrich (1989) The Adequacy Problem for Sequential Propositional Logic. [Report]
DS-2000-01: Wassermann, Renata (2000) Resource Bounded Belief Revision. Doctoral thesis, University of Amsterdam.
MoL-2022-29: Weststeijn, Nikki (2022) The Relation Between Shannon Information and Semantic Information. [Report]
PP-2007-24: Wilhelmus, Eva (2007) Formalizability and Knowledge Ascriptions in Mathematical Practice. [Report]
DS-2023-12: Wontner, Ned J.H. (2023) Views From a Peak: Generalisations and Descriptive Set Theory. Doctoral thesis, Universiteit van Amsterdam.
MoL-2018-35: Xing, Yujie (2018) Examining Personality Differences in Chit-Chat Sequence to Sequence Conversational Agents. [Report]
MoL-2019-10: Young Pedersen, Mina (2019) Polarization and Echo Chambers: A Logical Analysis of Balance and Triadic Closure in Social Networks. [Report]
MoL-2019-07: Zamperlin, Nicolò (2019) Intensional Kleene logics for vagueness. [Report]
PP-2022-01: Özgün, Aybüke and Schoonen, Tom (2022) The Logical Development of Pretense Imagination. [Pre-print]
![[up]](/style/images/multi_up.png)
Up a level