View publication by year:
- 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:
- Aybüke Özgün 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