Number of items: **69**.

PP-2015-04:
Andréka, Hajnal and van Benthem, Johan and Bezhanishvili, Nick and Németi, István
(2015)
*Changing a Semantics: Opportunism or Courage?*
[Report]

PP-2015-18:
Baltag, Alexandru and Bezhanishvili, Nick and Smets, Sonja
(2015)
*The topological theory of belief.*
[Report]

PP-2015-22:
Baltag, Alexandru and Christoff, Zoé and Rendsvig, Rasmus K. and Smets, Sonja
(2015)
*Dynamic Epistemic Logic of Diffusion and Prediction in Social Networks.*
[Report]

PP-2015-13:
Baltag, Alexandru and Gierasimczuk, Nina and Smets, Sonja
(2015)
*On the Solvability of Inductive Problems: A Study in Epistemic Topology.*
[Report]

PP-2015-08:
Bezhanishvili, Guram and Bezhanishvili, Nick and Ilin, Julia
(2015)
*Cofinal stable logics.*
[Report]

PP-2015-15:
Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan
(2015)
*S4.3 and hereditarily extremally disconnected spaces.*
[Report]

PP-2015-14:
Bezhanishvili, Nick and Gabelaia, David and Ghilardi, Silvio and Jibladze, Mamuka
(2015)
*Admissible bases via stable canonical rules.*
[Report]

PP-2015-16:
Bezhanishvili, Nick and Galatos, Nick and Spada, Luca
(2015)
*Canonical formulas for k-potent commutative, integral residuated lattices.*
[Report]

PP-2015-21:
Bezhanishvili, Nick and Ghilardi, Silvio and Lauridsen, Frederik Möllerström
(2015)
*One-step Heyting algebras and hypersequent calculi with the bounded proof property.*
[Report]

PP-2015-09:
Bezhanishvili, Nick and Sourabh, Sumit
(2015)
*Sahlqvist preservation for topological fixed-point logic.*
[Report]

MoL-2015-31:
Blando, Francesca Zaffora
(2015)
*From von Mises' Impossibility of a Gambling System to Probabilistic Martingales.*
[Report]

PP-2015-12:
Block, Alexander C. and Löwe, Benedikt
(2015)
*Modal Logics and Multiverses.*
[Report]

MoL-2015-11:
Bäumel, Moritz
(2015)
*'On Certainty' and Formal Epistemology.*
[Report]

DS-2015-05:
Carreiro, Facundo
(2015)
*Fragments of Fixpoint Logics: Automata and Expressiveness.*
Doctoral thesis, University of Amsterdam.

PP-2015-24:
Ciná, Giovanni and Endriss, Ulle
(2015)
*A Syntactic Proof of Arrow's Theorem in a Modal Logic of Social Choice Functions.*
[Report]

DS-2015-01:
Crespo, María Inés
(2015)
*Affecting Meaning. Subjectivity and evaluativity in gradable adjectives.*
Doctoral thesis, University of Amsterdam.

MoL-2015-14:
de Pol, Iris van
(2015)
*How Difficult is it to Think that you Think that I Think that...? A DEL-based Computational-level Model of Theory of Mind and its Complexity.*
[Report]

MoL-2015-22:
den Haan, Michiel
(2015)
*The Logic of Framing: The Framing Effect as a Non-Monotonic Decision Process of Path Dependence.*
[Report]

MoL-2015-06:
Emerich, Johannes
(2015)
*Applying Types as Abstract Interpretation to a Language with Dynamic Dispatch.*
[Report]

PP-2015-23:
Endriss, Ulle and de Haan, Ronald
(2015)
*Complexity of the Winner Determination Problem in Judgment Aggregation: Kemeny, Slater, Tideman, Young.*
[Report]

MoL-2015-12:
Feys, Frank
(2015)
*Fourier Analysis for Social Choice.*
[Report]

MoL-2015-13:
Galeotti, Lorenzo
(2015)
*Computable Analysis Over the Generalized Baire Space.*
[Report]

MoL-2015-28:
Gavazzo, Francesco
(2015)
*Investigations into Linear Logic with Fixed-Point Operators.*
[Report]

PP-2015-25:
Gieske, Sharon and der Pol, Elise van and Endriss, Ulle
(2015)
*Empirical Evaluation of Collective Rationality for Quota Rules in Judgment Aggregation.*
[Report]

MoL-2015-21:
Gkikas, Konstantinos
(2015)
*Stable Beliefs and Conditional Probability Spaces.*
[Report]

MoL-2015-05:
Goldbach, Roosmarijn
(2015)
*Modelling Democratic Deliberation.*
[Report]

IV-10:
Heyting, A.
(2015)
*Is de toekomst der wiskunde voorspelbaar?*
[Report]

HDS-12:
Heyting, Arend
(2015)
*Intuitionistische Axiomatiek der Projectieve Meetkunde.*
Doctoral thesis, University of Amsterdam.

MoL-2015-24:
Islam, Md. Shahidul
(2015)
*Limits of Argumentation: A Wittgensteinian Approach.*
[Report]

MoL-2015-04:
Kosterman, Sanne
(2015)
*Learning in Games through Social Networks.*
[Report]

MoL-2015-19:
Kroese, Wouter P.J.
(2015)
*When an Algorithm Cannot Help You Find a Wife: Modeling Two-Sided Matching Markets Using Stochastic Matching.*
[Report]

MoL-2015-30:
Kuan, Ko-Hung
(2015)
*Coherence Preservation: A Threat to Probabilistic Measures of Coherence.*
[Report]

X-2015-01:
Lauridsen, Frederik Möllerström
(2015)
*Bitopological Vietoris spaces and positive modal logic.*
[Report]

MoL-2015-18:
Lauridsen, Frederik Möllerström
(2015)
*One-Step Algebras and Frames for Modal and Intuitionistic Logics.*
[Report]

HDS-13:
Leivant, Daniel
(2015)
*Absoluteness of Intuitionistic Logic.*
Doctoral thesis, University of Amsterdam.

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-2015-08:
Mallinson, Jonathan
(2015)
*Modelling Syntactic and Semantic Tasks with Linguistically Enriched Recursive Neural Networks.*
[Report]

MoL-2015-03:
Močnik, Maša
(2015)
*Slovenian Perfective and Imperfective Explicit Performative Utterances.*
[Report]

MoL-2015-10:
Noble, Bill
(2015)
*All together now... This time with meaning: A hierarchical lexicon for semantic coordination.*
[Report]

MoL-2015-07:
Paping, Babette
(2015)
*A game theoretic approach to cost allocation in the Dutch electricity grid.*
[Report]

MoL-2015-16:
Pasotti, Pietro
(2015)
*Chisholm's Paradox in Action Deontic Logics.*
[Report]

MoL-2015-27:
Sandoval, Ana Lucia Vargas
(2015)
*Learning Deductive Reasoning.*
[Report]

DS-2015-04:
Sourabh, Sumit
(2015)
*Correspondence and Canonicity in Non-Classical Logic.*
Doctoral thesis, University of Amsterdam.

MoL-2015-25:
Vecht, Joost
(2015)
*Categorical Structuralism and the Foundations of Mathematics.*
[Report]

MoL-2015-02:
Vyšniauskas, Ignas
(2015)
*$\pi_{dist}$: Towards a Typed $\pi$-calculus for Distributed Programming Languages.*
[Report]

PP-2016-40:
van Benthem, Johan
(2015)
*Feeling the Rythms of a Field.*
[Pre-print]

PP-2015-11:
van Benthem, Johan
(2015)
*Logic and Philosophy, a Sea of Stories.*
[Report]

PP-2015-19:
van Benthem, Johan
(2015)
*Minimal Deontic Logics.*
[Report]

PP-2015-03:
van Benthem, Johan
(2015)
*Natural Language and Logic of Agency.*
[Report]

PP-2015-10:
van Benthem, Johan
(2015)
*Oscillations, Logic, and Dynamical Systems.*
[Report]

PP-2015-20:
van Benthem, Johan
(2015)
*Possible Worlds Semantics for Classical Logic.*
[Report]

PP-2015-01:
van Benthem, Johan
(2015)
*Talking about Knowledge.*
[Report]

PP-2015-06:
van Benthem, Johan
(2015)
*Those Who Must Do It: the Agency of Language.*
[Report]

PP-2015-17:
van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian and Yu, Junhua
(2015)
*Instantial neighbourhood logic.*
[Report]

PP-2015-02:
van Benthem, Johan and Liu, Fenrong
(2015)
*Deontic Logic and Preference Change.*
[Report]

PP-2015-07:
van Benthem, Johan and Liu, Fenrong
(2015)
*Where is Logic Going?*
[Report]

PP-2015-05:
van Benthem, Johan and Smets, Sonja
(2015)
*Dynamic Logics of Belief Change.*
[Report]

MoL-2015-17:
van Berkel, Kees
(2015)
*Kant's Logic in the Critique of Practical Reason.*
[Report]

HDS-11:
van Emde Boas, Peter
(2015)
*Abstract Resource-Bound Classes.*
Doctoral thesis, University of Amsterdam.

IV-09:
van Emde Boas, Peter
(2015)
*Egghead betegelt badkamer (Valedictory).*
[Report]

IV-08:
van Emde Boas, Peter
(2015)
*Ne Probentur Oracula (Inaugural).*
[Report]

MoL-2015-20:
van Lee, Hanna Sofie
(2015)
*The Reliability of Scientific Communities: a Logical Analysis.*
[Report]

MoL-2015-26:
van Wijk, Suzanne
(2015)
*Coalitions in Epistemic Planning.*
[Report]

MoL-2015-23:
Wagner, Eileen
(2015)
*Superplural Logic.*
[Report]

MoL-2015-01:
Witteveen, Jouke E.
(2015)
*Structural Parameterized Complexity.*
[Report]

MoL-2015-15:
Zhai, Fangzhou
(2015)
*Toward Probabilistic Natural Logic for Syllogistic Reasoning.*
[Report]

DS-2015-03:
Zhong, Shengyang
(2015)
*Orthogonality and Quantum Geometry: Towards a Relational Reconstruction of Quantum Theory.*
Doctoral thesis, University of Amsterdam.

MoL-2015-09:
Zou, Tingxiang
(2015)
*Filtered Order-partial Combinatory Algebras and Classical Realizability.*
[Report]

MoL-2015-29:
Zwart, Maaike Annebeth
(2015)
*Sheaf Models for Intuitionistic Non-Standard Arithmetic.*
[Report]