-
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
