Number of items: **71**.

MoL-2019-08:
Adam-Day, Sam
(2019)
*Polyhedral Completeness in Intermediate and Modal Logics.*
[Report]

PP-2019-14:
Baltag, Alexandru and Özgün, Aybüke and Vargas, Ana Lucia
(2019)
*Arbitrary Public Announcement Logic with Memory.*
[Pre-print]

PP-2019-08:
Baltag, Alexandru and Bezhanishvili, Nick and Fernández González, Saúl
(2019)
*The McKinsey-Tarski Theorem for Topological Evidence Logics.*
[Pre-print]

PP-2019-02:
Baltag, Alexandru and van Benthem, Johan
(2019)
*Some Thoughts on the Logic of Imprecise Observation.*
[Pre-print]

MoL-2019-20:
Belardinelli, Gaia
(2019)
*Gatekeepers in Social Networks: Logics for Communicative Actions.*
[Report]

DS-2019-02:
Bergfeld, Jort
(2019)
*Quantum logics for expressing and proving the correctness of quantum programs.*
Doctoral thesis, University of Amsterdam.

PP-2019-09:
Bezhanishvili, Nick and de Groot, Jim and Venema, Yde
(2019)
*Coalgebraic geometric logic.*
[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-2019-24:
Colley, Rachael H.
(2019)
*Guaranteeing Feasible Outcomes in Judgment Aggregation.*
[Report]

MoL-2019-11:
Degano, Marco
(2019)
*Meaning through Time: A Diachronic and Semantic Study of Italian Free Choice.*
[Report]

PP-2019-30:
Endriss, Ulle
(2019)
*Analysis of One-to-One Matching Mechanisms via SAT Solving: Impossibilities for Universal Axioms.*
[Pre-print]
(In Press)

PP-2019-29:
Endriss, Ulle
(2019)
*Collective Information.*
[Pre-print]
(In Press)

MoL-2019-18:
Ferrari, Matteo
(2019)
*Questioning Philosophy.*
[Report]

MoL-2019-23:
Ford, Chase
(2019)
*Investigations into the Expressiveness of First-order Logic and Weak Path Automata on Infinite Trees.*
[Report]

MoL-2019-06:
Franchini, Anna
(2019)
*Space and the Continuum from Kant to Poincaré.*
[Report]

DS-2019-04:
Galeotti, Lorenzo
(2019)
*The theory of the generalised real numbers and other topics in logic.*
Doctoral thesis, University of Amsterdam.

PP-2019-10:
Galeotti, Lorenzo
(2019)
*Surreal Blum-Shub-Smale Machines.*
[Pre-print]
(In Press)

DS-2019-03:
Gilyén, András
(2019)
*Quantum Singular Value Transformation & Its Algorithmic Applications.*
Doctoral thesis, University of Amsterdam.

MoL-2019-22:
Harding, Jacqueline
(2019)
*Incorporating Preference Information into Formal Models of Transitive Proxy Voting.*
[Report]

MoL-2019-12:
Henke, Tim
(2019)
*The van Benthem Characterisation Theorem for Descriptive Models.*
[Report]

MoL-2019-14:
Karačić, Tomislav
(2019)
*The Informational View of Technologies in the Scientific Practice.*
[Report]

MoL-2019-26:
Koutsoulis, Dimitrios
(2019)
*Lifschitz Realizability for Homotopy Type Theory.*
[Report]

HDS-31:
Krabbe, Erik C.W.
(2019)
*Studies in Dialogical Logic.*
Doctoral thesis, University of Amsterdam.

DS-2019-07:
Lauridsen, Frederik Möllerström
(2019)
*Cuts and Completions: Algebraic aspects of structural proof theory.*
Doctoral thesis, University of Amsterdam.

X-2019-01:
Li, Dazhu
(2019)
*Losing Connection: the Modal Logic of Definable Link Deletion.*
[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-2019-04:
Maia, Nuno
(2019)
*Tennenbaum’s Theorem and Non-Classical Arithmetic.*
[Report]

MoL-2019-16:
Martinot, Robin
(2019)
*Sets and Categories: What Foundational Approaches Tell Us About Mathematical Thought.*
[Report]

MoL-2019-27:
McKnight, John Hunter
(2019)
*Quantum Shell Games: How to Classically Delegate the Preparation of Authenticated Quantum States.*
[Report]

MoL-2019-05:
Oortwijn, Yvette
(2019)
*Dynamic Set Theory.*
[Report]

MoL-2019-15:
O’Connell, David
(2019)
*Lorentzian Structures on Branching Spacetimes.*
[Report]

PP-2019-05:
Passmann, Robert
(2019)
*The de Jongh property for bounded constructive Zermelo-Fraenkel set theory.*
[Pre-print]
(Submitted)

MoL-2019-19:
Posdijk, Wouter
(2019)
*The influence of the simplicity/informativeness trade-off on the sematic typology of quantifiers.*
[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]

MoL-2019-25:
Quadrellaro, Davide Emilio
(2019)
*Lattices of DNA-Logics and Algebraic Semantics of Inquisitive Logic.*
[Report]

MoL-2019-28:
Rosella, Giuliano
(2019)
*A Truthmaker Semantics Approach to Modal Logic.*
[Report]

MoL-2019-09:
Santamaría Legarda, David
(2019)
*Defending Classes.*
[Report]

PP-2019-06:
Shavrukov, V. Yu.
(2019)
*R.e. prime powers and total rigidity.*
[Pre-print]

MoL-2019-01:
Smaal, Kyah Elisabeth Mercedes
(2019)
*Strategic manipulation in voting under higher-order reasoning.*
[Report]

PP-2019-24:
Solaki, Anthia
(2019)
*Rule-based Reasoners in Epistemic Logic.*
[Pre-print]

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-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)

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)

DS-2019-05:
Theiler, Nadine
(2019)
*Taking a unified perspective: Resolutions and highlighting in the semantics of attitudes and particles.*
Doctoral thesis, University of Amsterdam.

DS-2019-01:
Vaquero, Carlos
(2019)
*What Makes A Performer Unique? Idiosyncrasies and commonalities in expressive music performance.*
Doctoral thesis, University of Amsterdam.

MoL-2019-17:
Vollmer, Michael
(2019)
*On Logical Nihilism.*
[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]

MoL-2019-13:
Zhao, Zhuoye
(2019)
*Varieties of Distributivity: From Mandarin Dou to Plurality, Free Choice and Scalarity.*
[Report]

HDS-32:
and Martin Stokhof, Jeroen Groenendijk
(2019)
*Studies on the Semantics of Questions and the Pragmatics of Answers.*
Doctoral thesis, University of Amsterdam.

PP-2019-21:
de Haan, Ronald and Slavkovik, Marija
(2019)
*Answer Set Programming for Judgment Aggregation.*
[Pre-print]
(In Press)

HDS-30:
de Vrijer, Roel
(2019)
*Surjective pairing and strong normalization: two themes in lambda calculus.*
Doctoral thesis, University of Amsterdam.

DS-2019-06:
der Gulik, Peter T.S. van
(2019)
*Considerations in Evolutionary Biochemistry.*
Doctoral thesis, University of Amsterdam.

HDS-29:
der Hoeven, Gerrit Frans van
(2019)
*Projections of Lawless Sequences.*
Doctoral thesis, University of Amsterdam.

X-2019-02:
van Benthem, Johan
(2019)
*Inventory Scientific Archive 1961-2017, 2017–2022.*
[Report]

PP-2019-01:
van Benthem, Johan
(2019)
*Vistas from a Drop of Water.*
[Pre-print]

PP-2019-13:
van Benthem, Johan and Bezhanishvili, Nick
(2019)
*Modern faces of filtration.*
[Pre-print]

PP-2019-04:
van Benthem, Johan and Klein, Dominik
(2019)
*Logics for Analyzing Games.*
[Pre-print]
(In Press)

PP-2019-03:
van Benthem, Johan and Liu, Fenrong
(2019)
*Graph Games and Logic Design.*
[Pre-print]
(Submitted)

PP-2019-11:
van Benthem, Johan and Liu, Fenrong and Smets, Sonja
(2019)
*Logico-Computational Aspects of Rationality.*
[Pre-print]
(In Press)

PP-2019-27:
van Benthem, Johan and Mierzewski, Krzysztof and Zaffora Blando, Francesca
(2019)
*The Modal Logic of Stepwise Removal.*
[Pre-print]
(In Press)

PP-2019-07:
van Benthem, Johan and Westerstähl, Dag
(2019)
*Generalized Quantifiers Meet Modal Neighborhood Semantics.*
[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]

MoL-2019-02:
van Stigt, Daan
(2019)
*Neural language models with latent syntax.*
[Report]

MoL-2019-03:
van den Heuvel, Bas
(2019)
*The Logic of Fault-Tolerance in Message-Passing Concurrency.*
[Report]