Number of items: **52**.

MoL-2013-20:
Aguilera., Cecilia Chávez
(2013)
*Non-well founded semantics for belief revision.*
[Report]

PP-2013-15:
Airiau, Stéphane and Endriss, Ulle
(2013)
*Multiagent Resource Allocation with Sharable Items.*
[Report]

PP-2013-13:
Bastiaanse, Harald and Veltman, Frank
(2013)
*Making the Right Exceptions.*
[Report]

MoL-2013-09:
Bekius, Femke
(2013)
*The Iterative Minimum Cost Spanning Tree Problem.*
[Report]

MoL-2013-06:
Booij, Elbert J.
(2013)
*Kinds, Composition and the Identification Problem.*
[Report]

MoL-2013-22:
Booy, Heleen
(2013)
*Philosophy in primary schools - Developing teachers' manuals for different age groups.*
[Report]

MoL-2013-18:
Carrington, Robert
(2013)
*Learning and Knowledge in Social Networks.*
[Report]

MoL-2013-05:
Cinà, Giovanni
(2013)
*On the connection between the categorical and the modal logic approaches to Quantum Mechanics.*
[Report]

MoL-2013-11:
Correia, José Pedro
(2013)
*The Bivalent Trap: Vagueness, Theories of Meaning and Identity.*
[Report]

MoL-2013-21:
Crager, Adam
(2013)
*The infinite in Aristotle's logical epistemology.*
[Report]

PP-2013-07:
Endriss, Ulle
(2013)
*Reduction of Economic Inequality in Combinatorial Domains.*
[Report]

PP-2013-12:
Endriss, Ulle
(2013)
*Voting on Actions with Uncertain Outcomes.*
[Report]

PP-2013-08:
Endriss, Ulle and Fernández, Raquel
(2013)
*Collective Annotation of Linguistic Resources: Basic Principles and a Formal Model.*
[Report]

PP-2013-11:
Endriss, Ulle and Grandi, Umberto
(2013)
*Binary Aggregation by Selection of the Most Representative Voter.*
[Report]

MoL-2013-23:
Fillinger, Maximilian Johannes
(2013)
*Reconstructing the Cryptanalytic Attack behind the Flame Malware.*
[Report]

DS-2013-02:
Fiutek, Virginie
(2013)
*Playing with Knowledge and Belief.*
Doctoral thesis, University of Amsterdam.

MoL-2013-08:
Forde, Nathaniel
(2013)
*A Demand of Reason: Dependence in Logic and Probability.*
[Report]

PP-2013-09:
Grandi, Umberto and Endriss, Ulle
(2013)
*Lifting Integrity Constraints in Binary Aggregation.*
[Report]

MoL-2013-14:
Grathwohl, Hans Bugge
(2013)
*Programming with Classical Proofs.*
[Report]

PP-2013-04:
Hamkins, Joel David and Löwe, Benedikt
(2013)
*Moving up and down in the generic multiverse.*
[Report]

MoL-2013-29:
Hupkes, Dieuwke
(2013)
*An Empirical Account of Compositionality of Translation through Translation Data.*
[Report]

X-2013-02:
Inamdar, Tanmay
(2013)
*Successor Large Cardinals in Symmetric Extensions.*
[Report]

MoL-2013-07:
Inamdar, Tanmay C.
(2013)
*On The Modal Logics of Some Set-Theoretic Constructions.*
[Report]

MoL-2013-19:
Marra, Alessandra
(2013)
*What should have been the case. A temporal update semantics for necessity deontic modals.*
[Report]

MoL-2013-26:
Matthíasson, Ásgeir Berg
(2013)
*A Chalet on Mount Everest: Interpretations of Wittgenstein's Remarks on G\"odel.*
[Report]

MoL-2013-17:
Nefdt, Ryan
(2013)
*Constituentless Compositionality: A Compositional Account of Dependency Grammar.*
[Report]

MoL-2013-02:
Ocelák, Radek
(2013)
*Carving up the rainbow: how to model linguistic categorization of color.*
[Report]

MoL-2013-03:
Paolini, Gianluca
(2013)
*Dependence Logic in Algebra and Model Theory.*
[Report]

DS-2013-01:
Pauw, Simon
(2013)
*Size Matters: Grounding Quantifiers in Spatial Perception.*
Doctoral thesis, University of Amsterdam.

MoL-2013-24:
Pauw, Sylvia
(2013)
*Synthesis, Judgment and the Categories of Quantity.*
[Report]

MoL-2013-15:
Pico, Maurice
(2013)
*Completeness proofs via canonical models on increasingly generalized settings.*
[Report]

MoL-2013-25:
Renard, Anthony
(2013)
*A Final Coalgebra Theorem in the Context of Algebraic Set Theory.*
[Report]

PP-2013-10:
Rocha, Bruno and Bogaards, Niels and Honingh, Aline
(2013)
*Segmentation and timbre- and rhythm-similarity in Electronic Dance Music.*
[Report]

MoL-2013-04:
Sarailidis, Georgios
(2013)
*On the Power of Evolution.*
[Report]

DS-2013-03:
Scarpa, Giannicola
(2013)
*Quantum entanglement in non-local games, graph parameters and zero-error information theory.*
Doctoral thesis, University of Amsterdam.

MoL-2013-27:
Sikimic, Vlasta
(2013)
*Towards a Proof-Theoretic Semantics for Dynamic Logics.*
[Report]

PP-2013-14:
Stanojevic, Milos and Sima'an, Khalil
(2013)
*Evaluating Long Range Reordering with Permutation-Forests.*
[Report]

MoL-2013-12:
Tzimoulis, Apostolos
(2013)
*Determinacy and measurable cardinals in HOD.*
[Report]

X-2013-01:
Tzimoulis, Apostolos and Zhao, Zhiguang
(2013)
*The Universal Model for the Negation-free Fragment of IPC.*
[Report]

MoL-2013-01:
Velema, Maria
(2013)
*Classical Encryption and Authentication under Quantum Attacks.*
[Report]

HDS-04:
Venema, Yde
(2013)
*Many-Dimensional Modal Logic.*
Doctoral thesis, University of Amsterdam.

MoL-2013-28:
Xue, YunQi
(2013)
*Towards Closed-World Reasoning in Games - Ultimatum Game Revisited.*
[Report]

MoL-2013-10:
Zhao, Zhiguang
(2013)
*Algebraic Canonicity in Non-Classical Logics.*
[Report]

MoL-2013-16:
de Holanda Cunha Nobrega, Hugo
(2013)
*Game characterizations of function classes and Weihrauch degrees.*
[Report]

HDS-05:
de Jongh, Dick
(2013)
*Investigations on the Intuitionistic Propositional Calculus.*
Doctoral thesis, University of Amsterdam.

PP-2013-03:
van Benthem, Johan
(2013)
*Computation as Social Agency: What and How.*
[Report]

PP-2013-02:
van Benthem, Johan
(2013)
*Implicit and Explicit Stances in Logic.*
[Pre-print]
(Submitted)

PP-2013-05:
van Benthem, Johan
(2013)
*Logica en recht: naar een rijkere relatie.*
[Report]

PP-2013-01:
van Benthem, Johan
(2013)
*Reasoning about Strategies.*
[Report]

PP-2013-06:
van Benthem, Johan
(2013)
*Untimely Review, Bernard Bolzano's "Wissenschaftslehre" of 1837.*
[Report]

PP-2013-16:
van Emde Boas, Peter
(2013)
*Thirty nine years of stratified trees.*
[Report]

MoL-2013-13:
Özgün, Aybüke
(2013)
*Topological Models for Belief and Belief Revision.*
[Report]