Universiteit van Amsterdam

ILLC Publications, All Series, 2013

MoL-2013-01:
Maria Velema Classical Encryption and Authentication under Quantum Attacks
MoL-2013-02:
Radek Ocelák Carving up the rainbow: how to model linguistic categorization of color
MoL-2013-03:
Gianluca Paolini Dependence Logic in Algebra and Model Theory
MoL-2013-04:
Georgios Sarailidis On the Power of Evolution
MoL-2013-05:
Giovanni Cinà On the connection between the categorical and the modal logic approaches to Quantum Mechanics
MoL-2013-06:
Elbert J. Booij Kinds, Composition and the Identification Problem
MoL-2013-07:
Tanmay C. Inamdar On The Modal Logics of Some Set-Theoretic Constructions
MoL-2013-08:
Nathaniel Forde A Demand of Reason: Dependence in Logic and Probability
MoL-2013-09:
Femke Bekius The Iterative Minimum Cost Spanning Tree Problem
MoL-2013-10:
Zhiguang Zhao Algebraic Canonicity in Non-Classical Logics
MoL-2013-11:
José Pedro Correia The Bivalent Trap: Vagueness, Theories of Meaning and Identity
MoL-2013-12:
Apostolos Tzimoulis Determinacy and measurable cardinals in HOD
MoL-2013-13:
Topological Models for Belief and Belief Revision
MoL-2013-14:
Hans Bugge Grathwohl Programming with Classical Proofs
MoL-2013-15:
Maurice Pico Completeness proofs via canonical models on increasingly generalized settings
MoL-2013-16:
Hugo de Holanda Cunha Nobrega Game characterizations of function classes and Weihrauch degrees
MoL-2013-17:
Ryan Nefdt Constituentless Compositionality: A Compositional Account of Dependency Grammar
MoL-2013-18:
Robert Carrington Learning and Knowledge in Social Networks
MoL-2013-19:
Alessandra Marra What should have been the case. A temporal update semantics for necessity deontic modals
MoL-2013-20:
Cecilia Chávez Aguilera. Non-well founded semantics for belief revision
MoL-2013-21:
Adam Crager The infinite in Aristotle's logical epistemology
MoL-2013-22:
Heleen Booy Philosophy in primary schools - Developing teachers' manuals for different age groups
MoL-2013-23:
Maximilian Johannes Fillinger Reconstructing the Cryptanalytic Attack behind the Flame Malware
MoL-2013-24:
Sylvia Pauw Synthesis, Judgment and the Categories of Quantity
MoL-2013-25:
Anthony Renard A Final Coalgebra Theorem in the Context of Algebraic Set Theory
MoL-2013-26:
Ásgeir Berg Matthíasson A Chalet on Mount Everest: Interpretations of Wittgenstein's Remarks on G\"odel
MoL-2013-27:
Vlasta Sikimic Towards a Proof-Theoretic Semantics for Dynamic Logics
MoL-2013-28:
YunQi Xue Towards Closed-World Reasoning in Games - Ultimatum Game Revisited
MoL-2013-29:
Dieuwke Hupkes An Empirical Account of Compositionality of Translation through Translation Data
PP-2013-01:
Johan van Benthem Reasoning about Strategies
PP-2013-02:
Johan van Benthem Implicit and Explicit Stances in Logic
PP-2013-03:
Johan van Benthem Computation as Social Agency: What and How
PP-2013-04:
Joel David Hamkins, Benedikt Löwe Moving up and down in the generic multiverse
PP-2013-05:
Johan van Benthem Logica en recht: naar een rijkere relatie
PP-2013-06:
Johan van Benthem Untimely Review, Bernard Bolzano's "Wissenschaftslehre" of 1837
PP-2013-07:
Ulle Endriss Reduction of Economic Inequality in Combinatorial Domains
PP-2013-08:
Ulle Endriss, Raquel Fernández Collective Annotation of Linguistic Resources: Basic Principles and a Formal Model
PP-2013-09:
Umberto Grandi, Ulle Endriss Lifting Integrity Constraints in Binary Aggregation
PP-2013-10:
Bruno Rocha, Niels Bogaards, Aline Honingh Segmentation and timbre- and rhythm-similarity in Electronic Dance Music
PP-2013-11:
Ulle Endriss, Umberto Grandi Binary Aggregation by Selection of the Most Representative Voter
PP-2013-12:
Ulle Endriss Voting on Actions with Uncertain Outcomes
PP-2013-13:
Harald Bastiaanse, Frank Veltman Making the Right Exceptions
PP-2013-14:
Milos Stanojevic, Khalil Sima'an Evaluating Long Range Reordering with Permutation-Forests
PP-2013-15:
Stéphane Airiau, Ulle Endriss Multiagent Resource Allocation with Sharable Items
PP-2013-16:
Peter van Emde Boas Thirty nine years of stratified trees
X-2013-01:
Apostolos Tzimoulis, Zhiguang Zhao The Universal Model for the Negation-free Fragment of IPC
X-2013-02:
Tanmay Inamdar Successor Large Cardinals in Symmetric Extensions