Number of items: **58**.

X-2010-01:
Achourioti, Theodora and Andrade, Edgar and Staudacher, Marc
(2010)
*Proceedings of the Amsterdam Graduate Philosophy Conference 2009 - Meaning and Truth.*
[Report]

PP-2010-03:
Airiau, Stéphane and Endriss, Ulle
(2010)
*Multiagent Resource Allocation with Sharable Items: Simple Protocols and Nash Equilibria.*
[Report]

PP-2010-25:
Baartse, Martijn and Barmpalias, George
(2010)
*On the gap between trivial and nontrivial initial segment prefix-free complexity.*
[Report]

PP-2010-23:
Barmpalias, George and Sterkenburg, Tom
(2010)
*On the number of infinite sequences with trivial initial segment complexity.*
[Report]

PP-2010-24:
Barmpalias, George and Vlek, Charlotte
(2010)
*Kolmogorov complexity of initial segments of sequences and arithmetical definability.*
[Report]

DS-2010-12:
Bentzen, Martin Mose
(2010)
*Stit, Iit, and Deontic Logic for Action Types.*
Doctoral thesis, University of Amsterdam.

MoL-2010-13:
Berg, Hanne Kristin
(2010)
*Philosophy of time: Combining the A-series and the B-series.*
[Report]

MoL-2010-07:
Beumer, Mark
(2010)
*Apportionment in Theory and Practice.*
[Report]

PP-2010-16:
Bouveret, Sylvain and Endriss, Ulle and Lang, Jérôme
(2010)
*Fair Division under Ordinal Preferences: Computing Envy-Free Allocations of Indivisible Goods.*
[Report]

PP-2010-04:
Daylight, Edgar G.
(2010)
*The Advent of Recursion in Programming, 1950s-1960s.*
[Report]

MoL-2010-14:
Demey, Lorenz
(2010)
*Agreeing to Disagree in Probabilistic Dynamic Epistemic Logic.*
[Report]

DS-2010-03:
Dégremont, Cédric
(2010)
*The Temporal Mind. Observations on the logic of belief change in interactive systems.*
Doctoral thesis, University of Amsterdam.

PP-2010-07:
de Jongh, Dick and Verbrugge, Rineke and Visser, Albert
(2010)
*Intermediate Logics and the de Jongh Property.*
[Report]

PP-2010-08:
de Jongh, Dick and Yang, Fan
(2010)
*Jankov's Theorems for Intermediate Logics in the Setting of Universal Models.*
[Report]

PP-2010-20:
de Lavalette, Gerard R. Renardel and Hendriks, Lex and de Jongh, Dick
(2010)
*Intuitionistic implication without disjunction.*
[Report]

PP-2010-02:
Endriss, Ulle and Grandi, Umberto and Porello, Daniele
(2010)
*Complexity of Judgment Aggregation: Safety of the Agenda.*
[Report]

MoL-2010-08:
Fiske, David
(2010)
*Toward an Evolutionary Linguistic Theory.*
[Report]

DS-2010-09:
Fontaine, Gaëlle
(2010)
*Modal Fixpoint Logic: Some Model Theoretic Questions.*
Doctoral thesis, University of Amsterdam.

PP-2010-18:
Gehrke, Mai and Vosmaer, Jacob
(2010)
*A View of Canonical Extension.*
[Report]

MoL-2010-02:
Geist, Christian
(2010)
*Automated Search for Impossibility Theorems in Choice Theory: Ranking Sets of Objects.*
[Report]

PP-2010-01:
Geist, Christian and Löwe, Benedikt and Kerkhove, Bart Van
(2010)
*Peer review and knowledge by testimony in mathematics.*
[Report]

DS-2010-08:
Gheerbrant, Amélie
(2010)
*Fixed-Point Logics on Trees.*
Doctoral thesis, University of Amsterdam.

PP-2010-12:
Gheerbrant, Amélie
(2010)
*Complete Axiomatization of the Stutter-Invariant Fragment of the Linear-time mu-calculus.*
[Report]

DS-2010-11:
Gierasimczuk, Nina
(2010)
*Knowing One's Limits. Logical Analysis of Inductive Inference.*
Doctoral thesis, University of Amsterdam.

MoL-2010-05:
Giorgio, Nicola Di
(2010)
*Non-Standard Models of Arithmetic: a Philosophical and Historical perspective.*
[Report]

PP-2010-13:
Grandi, Umberto and Endriss, Ulle
(2010)
*Lifting Rationality Assumptions in Binary Aggregation.*
[Report]

MoL-2010-04:
Hamami, Yacin
(2010)
*The Interrogative Model of Inquiry meets Dynamic Epistemic Logics.*
[Report]

PP-2010-17:
Honing, Henkjan
(2010)
*Lure(d) into listening: The potential of cognition-based music information retrieval.*
[Report]

DS-2010-04:
Ikegami, Daisuke
(2010)
*Games in Set Theory and Logic.*
Doctoral thesis, University of Amsterdam.

PP-2010-06:
Klarman, Szymon and Endriss, U. and Schlobach, Stefan
(2010)
*ABox Abduction in the Description Logic ALC.*
[Report]

DS-2010-05:
Kontinen, Jarmo
(2010)
*Coherence and Complexity in Fragments of Dependence Logic.*
Doctoral thesis, University of Amsterdam.

PP-2010-19:
Kurzen, Lena
(2010)
*Eleusis: Complexity and Interaction in Inductive Inference.*
[Report]

PP-2010-11:
Löwe, Benedikt and Müller, Thomas
(2010)
*Mathematical knowledge and skills.*
[Report]

PP-2010-14:
Löwe, Benedikt and Pacuit, Eric and Witzel, Andreas
(2010)
*Planning based on dynamic epistemic logic.*
[Report]

MoL-2010-18:
Marcoci, Alexandru
(2010)
*The Surprise Examination Paradox in Dynamic Epistemic Logic.*
[Report]

MoL-2010-09:
Mintz-Woo, Kian
(2010)
*Independence Weakening in Judgment Aggregation.*
[Report]

MoL-2010-01:
Nebel, Frank
(2010)
*Shortest Path Games: Computational Complexity of Solution Concepts.*
[Report]

MoL-2010-20:
Negro, Antonio
(2010)
*Quine's challenge and Logical Pluralism.*
[Report]

MoL-2010-10:
Odolphi, Ernst
(2010)
*Temporal Binding by Short-Term Synaptic Plasticity.*
[Report]

PP-2010-05:
Porello, Daniele and Endriss, Ulle
(2010)
*Modelling Combinatorial Auctions in Linear Logic.*
[Report]

PP-2010-15:
Porello, Daniele and Endriss, Ulle
(2010)
*Modelling Multilateral Negotiation in Linear Logic.*
[Report]

MoL-2010-17:
Regenboog, Bert Christiaan
(2010)
*Reactive Valuations.*
[Report]

PP-2010-09:
Roelofsen, Floris and van Gool, Sam
(2010)
*Disjunctive questions, intonation, and highlighting.*
[Report]

MoL-2010-06:
Schroevers, Stephan
(2010)
*Expressiveness and Extensions of an Instruction Sequence Semigroup.*
[Report]

MoL-2010-12:
Shaheen, Jonathan
(2010)
*Relevance-Based Partition Semantics for Why-Questions.*
[Report]

MoL-2010-11:
Smets, Margaux
(2010)
*A U-DOP approach to modeling language acquisition.*
[Report]

DS-2010-07:
Staudacher, Marc
(2010)
*Use theories of meaning between conventions and social norms.*
Doctoral thesis, University of Amsterdam.

MoL-2010-16:
Tourigny, Hélène
(2010)
*Exploiting Systematicity: a Connectionist Model of Bootstrapping in Language Acquisition.*
[Report]

DS-2010-01:
Tsarfaty, Reut
(2010)
*Relational-Realizational Parsing.*
Doctoral thesis, University of Amsterdam.

MoL-2010-19:
Turk, Remi
(2010)
*A modern back-end for a dependently typed language.*
[Report]

PP-2010-22:
Uckelman, Sara and Uckelman, Joel
(2010)
*Strategy and Manipulation in Medieval Elections.*
[Report]

MoL-2010-03:
Vlek, Charlotte
(2010)
*Definability in the Degrees of Randomness.*
[Report]

DS-2010-10:
Vosmaer, Jacob
(2010)
*Logic, Algebra and Topology. Investigations into canonical extensions, duality theory and point-free topology.*
Doctoral thesis, University of Amsterdam.

PP-2010-21:
van Benthem, Johan and Pacuit, Eric and Roy, Olivier
(2010)
*Toward a Theory of Play: A Logical Perspective on Games and Interaction.*
[Report]

MoL-2010-15:
Wampler-Doty, Matthew P.
(2010)
*Evidentialist Logic.*
[Report]

DS-2010-06:
Wang, Yanjing
(2010)
*Epistemic Modelling and Protocol Dynamics.*
Doctoral thesis, University of Amsterdam.

PP-2010-10:
Witzel, Andreas and Endriss, Ulle
(2010)
*Time Constraints in Mixed Multi-unit Combinatorial Auctions.*
[Report]

DS-2010-02:
Zvesper, Jonathan
(2010)
*Playing with Information.*
Doctoral thesis, University of Amsterdam.