Items where Year is 2013

Pre-print

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

Report

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]

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]

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]

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]

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]

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

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]

Thesis

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

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

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

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

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