Number of items: **60**.

HDS-27:
Beth, E.W.
(2018)
*Rede en Aanschouwing in de Wiskunde.*
Doctoral thesis, University of Amsterdam.

HDS-28:
Bethke, Ingemarie
(2018)
*Notes on Partial Combinatory Algebras.*
Doctoral thesis, University of Amsterdam.

PP-2018-09:
Bezhanishvili, Nick and Colacito, Almudena and de Jongh, Dick
(2018)
*A Study of Subminimal Logics of Negation and their Modal Companions.*
[Pre-print]
(Submitted)

PP-2018-13:
Bezhanishvili, Nick and Holliday, Wesley H.
(2018)
*Choice-free Stone duality.*
[Pre-print]

PP-2018-14:
Carl, Merlin and Galeotti, Lorenzo and Löwe, Benedikt
(2018)
*The Bolzano-Weierstrass Theorem in Generalised Analysis.*
[Pre-print]

PP-2018-17:
Chen, Weiwei and Endriss, Ulle
(2018)
*Aggregating Alternative Extensions of Abstract Argumentation Frameworks: Preservation Results for Quota Rules.*
[Pre-print]

MoL-2018-25:
Commandeur, Leon
(2018)
*Logical Functionalism.*
[Report]

MoL-2018-09:
Damanik, Raja Oktovin Parhasian
(2018)
*Optimality in Stabilizer Testing.*
[Report]

MoL-2018-10:
Don, Jelle Wijnand
(2018)
*Post-quantum Security of Fiat-Shamir Signatures.*
[Report]

PP-2018-03:
Döcker, Janosch and Dorn, Britta and Endriss, Ulle and de Haan, Ronald and Schneckenburger, Sebastian
(2018)
*Tool Auctions.*
[Pre-print]

PP-2018-11:
de Haan, Ronald
(2018)
*Hunting for Tractable Languages for Judgment Aggregation.*
[Pre-print]
(In Press)

PP-2018-12:
de Haan, Ronald
(2018)
*A Parameterized Complexity View on Description Logic Reasoning.*
[Pre-print]
(In Press)

PP-2018-08:
de Jongh, Dick and Maleki, Fatemeh Shirmohammadzadeh
(2018)
*Two Neighborhood Semantics for Subintuitionistic Logics.*
[Pre-print]
(Submitted)

PP-2018-10:
de Jongh, Dick and Vargas, Ana Lucia
(2018)
*Finite identification with positive and with complete data.*
[Pre-print]

PP-2018-16:
Endriss, Ulle
(2018)
*Judgment Aggregation with Rationality and Feasibility Constraints.*
[Pre-print]

PP-2018-02:
Endriss, Ulle and Grandi, Umberto
(2018)
*Graph Aggregation: Extended Abstract.*
[Pre-print]

MoL-2018-27:
Fernández González, Saúl
(2018)
*Generic Models for Topological Evidence Logics.*
[Report]

MoL-2018-23:
Gijzen, Marlou M.
(2018)
*A Constructive Approach Towards Formalizing Relativization Using Combinatory Logic.*
[Report]

MoL-2018-36:
Gu, Tao
(2018)
*Majorizability Types, Assemblies, and the Fan Theorem.*
[Report]

MoL-2018-29:
Haenen, Jana
(2018)
*A Gödel-style translation from positive calculus into strict implication logic.*
[Report]

MoL-2018-08:
Heerkens, Noor
(2018)
*Studies in Minimal Mathematics.*
[Report]

MoL-2018-30:
Hoeks, Morwenna
(2018)
*Coordinating Questions.*
[Report]

MoL-2018-11:
Hungerbühler, Silvan
(2018)
*A Computational Method for Philosophical Interpretation.*
[Pre-print]

MoL-2018-12:
Ionescu, Stefania
(2018)
*Advancing the Use of Sparse Knowledge for Qualitative Models and Simulations.*
[Report]

MoL-2018-20:
Jónsson, Haukur Páll
(2018)
*Real Logic and Logic Tensor Networks.*
[Report]

PP-2018-05:
Lauridsen, Frederik Möllerström
(2018)
*Intermediate logics admitting a structural hypersequent calculus.*
[Pre-print]
(In Press)

MoL-2018-14:
Lewis, Ethan S.
(2018)
*Computation with Infinite Programs.*
[Report]

MoL-2018-07:
Lisowski, Grzegorz
(2018)
*Preventing Manipulation in Aggregating Value-Based Argumentation Frameworks.*
[Report]

MoL-2018-22:
Luthra, Mrinalini
(2018)
*How do we Develop Ethically Aware AI?*
[Report]

PP-2018-15:
Löwe, Benedikt and Passmann, Robert and Tarafder, Sourav
(2018)
*Constructing illoyal algebra-valued models of set theory.*
[Pre-print]
(Submitted)

PP-2018-07:
Löwe, Benedikt and Van Kerkhove, Bart
(2018)
*Methodological triangulation in empirical philosophy (of mathematics).*
[Pre-print]
(In Press)

MoL-2018-28:
McHugh, Dean
(2018)
*Counterfactuals and the Logic of Imaginative Content.*
[Report]

MoL-2018-06:
Metzler, Heidi
(2018)
*Algorithmic Complexity in Textile Patterns.*
[Report]

MoL-2018-31:
Mierzewski, Krzysztof
(2018)
*Probabilistic Stability: dynamics, nonmonotonic logics, and stable revision.*
[Report]

MoL-2018-32:
Milanese, Gian Carlo
(2018)
*An exploration of closure ordinals in the modal μ-calculus.*
[Pre-print]

MoL-2018-02:
Molenaar, Laura S.
(2018)
*Quine and Loglan: the Influence of Philosophical Ideas on the Creation of a Logical Language.*
[Pre-print]

HDS-25:
Mooij, Jan Johann Albinn
(2018)
*La Philosophie des Mathematiques de Henri Poincaré.*
Doctoral thesis, University of Amsterdam.

MoL-2018-13:
Mul, Mathijs S.
(2018)
*Recognizing Logical Entailment: Reasoning with Recursive and Recurrent Neural Networks.*
[Report]

MoL-2018-19:
Möller Kalpak, Hana
(2018)
*Inquisitive Logical Triviality and Grammar.*
[Report]

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-2018-03:
Paßmann, Robert
(2018)
*Loyalty and Faithfulness of Model Constructions for Constructive Set Theory.*
[Report]

MoL-2018-15:
Pesetsky, Jonathan
(2018)
*Factual Conditionals and Hypothetical Commitments.*
[Report]

MoL-2018-33:
Proroković, Krsto
(2018)
*Learning to Decide a Formal Language: A Recurrent Neural Network Approach.*
[Report]

MoL-2018-17:
Rapp, Max
(2018)
*Hybrid Logics for Arguments, Beliefs, and their Dynamics.*
[Report]

MoL-2018-34:
Rooduijn, Jan
(2018)
*A right semimodel structure on semisimplicial sets.*
[Pre-print]

MoL-2018-21:
Schmitt, Marvin
(2018)
*CRISP: a semantics for focus-sensitive particles in questions.*
[Report]

PP-2018-18:
Solaki, Anthia and Smets, Sonja
(2018)
*The effort of reasoning: modelling the inference steps of boundedly rational agents.*
[Pre-print]

PP-2018-04:
Terzopoulou, Zoi and Endriss, Ulle
(2018)
*Modelling Iterative Judgment Aggregation.*
[Pre-print]

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]

PP-2018-06:
van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian
(2018)
*A new game equivalence, its logic and algebra.*
[Pre-print]

PP-2018-01:
van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian
(2018)
*A propositional dynamic logic for instantial neighborhood semantics.*
[Pre-print]

HDS-26:
van Oosten, Jaap
(2018)
*Exercises in Realizability.*
Doctoral thesis, University of Amsterdam.

MoL-2018-24:
van Oostveen, Lucy
(2018)
*What You Know About People’s Preferences Matters:
Investigating simpler notions of partial information in the context of strategic manipulation in voting.*
[Report]

MoL-2018-04:
van Wier, Jeroen
(2018)
*Quantum Plaintext Non-Malleability.*
[Report]

MoL-2018-01:
van den Berg, Line
(2018)
*Unreliable Gossip.*
[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-2018-35:
Xing, Yujie
(2018)
*Examining Personality Differences in Chit-Chat Sequence to Sequence Conversational Agents.*
[Report]