ILLC Publications, All Series, 2014

These reports are also available from the UvA/DARE server: the page corresponding to the listing below can be found here.

PP-2014-23:
Guram Bezhanishvili, Nick Bezhanishvili, Sumit Sourabh, Yde Venema Subordinations, closed relations, and compact Hausdorff spaces.
1.Full Text, 2.Abstract.
PP-2014-22:
Benedikt Löwe, Sourav Tarafder Generalized algebra-valued models of set theory.
1.Full Text, 2.Abstract.
PP-2014-21:
Luca Incurvati, Benedikt Löwe Restrictiveness relative to notions of interpretations.
1.Full Text, 2.Abstract.
PP-2014-20:
Alexandru Baltag, Nina Gierasimczuk, Sonja Smets Truth-Tracking by Belief Revision.
1.Full Text, 2.Abstract.
PP-2014-19:
Nick Bezhanishvili, Dick de Jongh Stable formulas in intuitionistic logic.
1.Full Text, 2.Abstract.
PP-2014-18:
Aline Honingh, John Ashley Burgoyne, Peter van Kranenburg, Anja Volk Strengthening Interdisciplinarity in MIR: Four Examples of Using MIR Tools for Musicology.
1.Full Text, 2.Abstract.
PP-2014-17:
Ulle Endriss Social Choice Theory as a Foundation for Multiagent Systems.
1.Full Text, 2.Abstract.
PP-2014-16:
Vahid Hashemi, Ulle Endriss Measuring Diversity of Preferences in a Group.
1.Full Text, 2.Abstract.
PP-2014-15:
Olivier Cailloux, Ulle Endriss Eliciting a Suitable Voting Rule via Examples.
1.Full Text, 2.Abstract.
PP-2014-14:
Ulle Endriss, Umberto Grandi Collective Rationality in Graph Aggregation.
1.Full Text, 2.Abstract.
PP-2014-13:
Ulle Endriss, Ronald de Haan, Sefan Szeider Parameterized Complexity Results for Agenda Safety in Judgment Aggregation.
1.Full Text, 2.Abstract.
PP-2014-12:
Ciyang Qing, Ulle Endriss, Raquel Fernandez, Justin Kruger Empirical Analysis of Aggregation Methods for Collective Annotation.
1.Full Text, 2.Abstract.
PP-2014-11:
Justin Kruger, Ulle Endriss, Raquel Fernandez, Ciyang Qing Axiomatic Analysis of Aggregation Methods for Collective Annotation.
1.Full Text, 2.Abstract.
PP-2014-10:
Hajnal Andreka, Johan van Benthem, Nick Bezhanishvili, István Németi Changing a semantics: opportunism or courage?.
1.Full Text, 2.Abstract.
PP-2014-09:
Zoé Christoff, Jens Ulrik Hansen Dynamic Social Networks Logic.
1.Full Text, 2.Abstract.
PP-2014-08:
Guram Bezhanishvili, Nick Bezhanishvili, Rosalie Iemhoff Stable canonical rules.
1.Full Text, 2.Abstract, 3.Full Text (Jun 2014 version).
PP-2014-07:
Tanmay Inamdar, Benedikt Löwe The Modal Logic of Inner Models.
1.Full Text, 2.Abstract.
PP-2014-06:
Dick de Jongh, Zhiguang Zhao Positive Formulas in Intuitionistic and Minimal Logic.
1.Full Text, 2.Abstract.
PP-2014-05:
Nick Bezhanishvili, Silvio Ghilardi Multiple-conclusion Rules, Hypersequents Syntax and Step Frames.
1.Full Text, 2.Abstract.
PP-2014-04:
Bernhard Fisseni, Benedikt Löwe Event mappings for comparing formal frameworks for narratives.
1.Full Text, 2.Abstract.
PP-2014-03:
Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets The Topology of Full and Weak Belief.
1.Full Text, 2.Abstract.
PP-2014-02:
Nick Bezhanishvili, Dion Coumans, Sam van Gool, Dick de Jongh Duality and universal models for the meet-implication fragment of IPC.
1.Full Text, 2.Abstract.
PP-2014-01:
Paula Henk Kripke Models Built from Models of Arithmetic.
1.Full Text, 2.Abstract.
X-2014-02:
Shengyang Zhong Definability in Quantum Kripke Frames.
1.Full Text, 2.Abstract.
X-2014-01:
Shengyang Zhong Geometry in Quantum Kripke Frames.
1.Full Text, 2.Abstract.
MoL-2014-23:
Yuning Feng Constructing Variants of the Category of Partial Equivalence Relations.
1.Full Text, 2.Abstract.
MoL-2014-22:
Gijs Wijnholds Categorical Foundations for Extended Compositional Distributional Models of Meaning.
1.Full Text, 2.Abstract.
MoL-2014-21:
Lara Elise van Weegen Informational cascades under variable reliability assessments: A formal and empirical investigation.
1.Full Text, 2.Abstract.
MoL-2014-20:
Laura Mojica Anxiety: A Grammatical Investigation.
1.Full Text, 2.Abstract.
MoL-2014-19:
Jessica Olsen Would You Believe That? The Prerogative of Assent and Utility of Disagreement.
1.Full Text, 2.Abstract.
MoL-2014-18:
Justin Kruger Actions in Social Choice.
1.Full Text, 2.Abstract.
MoL-2014-17:
Sanne Brinkhorst On Evolution of Compositionality.
1.Full Text, 2.Abstract.
MoL-2014-16:
Malvin Gattinger Dynamic Epistemic Logic for Guessing Games and Cryptographic Protocols.
1.Full Text, 2.Abstract.
MoL-2014-15:
Nikhil Maddirala Philosophy of logical practice: a case study in formal semantics.
1.Full Text, 2.Abstract.
MoL-2014-14:
Sarah McWhirter An Automata-Theoretic Perspective on Polyadic Quantification in Natural Language.
1.Full Text, 2.Abstract.
MoL-2014-13:
Michele Herbstritt Why can't we be surprised whether it rains in Amsterdam? A semantics for factive verbs and embedded questions.
1.Full Text, 2.Abstract.
MoL-2014-12:
Simon Docherty A Model Of Type Theory In Cubical Sets With Connections.
1.Full Text, 2.Abstract.
MoL-2014-11:
Guus Willem Eelink Davidson on belief, truth, and the sceptic.
1.Full Text, 2.Abstract.
MoL-2014-10:
Julia Ilin An Outline of Algebraic Set Theory with a View Towards Cohen's Model Falsifying the Continuum Hypothesis.
1.Full Text, 2.Abstract.
MoL-2014-09:
Julian J. Schlöder Uptake, Clarification and Argumentation.
1.Full Text, 2.Abstract.
MoL-2014-08:
Seyed Mohammad Yarandi Proper Names and Propositional Attitudes.
1.Full Text, 2.Abstract.
MoL-2014-07:
Nadine Theiler A Multitude of Answers: Embedded Questions in Typed Inquisitive Semantics.
1.Full Text, 2.Abstract.
MoL-2014-06:
Ciyang Qing Quantiative Social-Cognitive Experimental Pragmatics.
1.Full Text, 2.Abstract.
MoL-2014-05:
Sebastian Speitel Limning the True and Ultimate Structure of Reality.
1.Full Text, 2.Abstract.
MoL-2014-04:
Andreea Achimescu Games and Logics for Informational Cascades.
1.Full Text, 2.Abstract.
MoL-2014-03:
Rachel Boddy Epistemic Issues and Group Knowledge.
1.Full Text, 2.Abstract.
MoL-2014-02:
Alexander C. Block Operations on a Wadge-Type Hierarchy of Ordinal-Valued Functions.
1.Full Text, 2.Abstract.
MoL-2014-01:
Maria Dimarogkona The Problem of Existence in Western Philosophy: Aristotle - Thomas Aquinas.
1.Full Text, 2.Abstract.

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X