ILLC Publications, All Series, 2015

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

PP-2015-25:
Sharon Gieske, Elise van der Pol, Ulle Endriss Empirical Evaluation of Collective Rationality for Quota Rules in Judgment Aggregation.
1.Full Text, 2.Abstract.
PP-2015-24:
Giovanni Ciná, Ulle Endriss A Syntactic Proof of Arrow's Theorem in a Modal Logic of Social Choice Functions.
1.Full Text, 2.Abstract.
PP-2015-23:
Ulle Endriss, Ronald de Haan Complexity of the Winner Determination Problem in Judgment Aggregation: Kemeny, Slater, Tideman, Young.
1.Full Text, 2.Abstract.
PP-2015-22:
Alexandru Baltag, Zoé Christoff, Rasmus K. Rendsvig, Sonja Smets Dynamic Epistemic Logic of Diffusion and Prediction in Social Networks.
1.Full Text, 2.Abstract.
PP-2015-21:
Nick Bezhanishvili, Silvio Ghilardi, Frederik Möllerström Lauridsen One-step Heyting algebras and hypersequent calculi with the bounded proof property.
1.Full Text, 2.Abstract.
PP-2015-20:
Johan van Benthem Possible Worlds Semantics for Classical Logic.
1.Full Text, 2.Abstract.
PP-2015-19:
Johan van Benthem Minimal Deontic Logics.
1.Full Text, 2.Abstract.
PP-2015-18:
Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets The topological theory of belief.
1.Full Text, 2.Abstract.
PP-2015-17:
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist, Junhua Yu Instantial neighbourhood logic.
1.Full Text, 2.Abstract.
PP-2015-16:
Nick Bezhanishvili, Nick Galatos, Luca Spada Canonical formulas for k-potent commutative, integral residuated lattices.
1.Full Text, 2.Abstract.
PP-2015-15:
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill S4.3 and hereditarily extremally disconnected spaces.
1.Full Text, 2.Abstract.
PP-2015-14:
Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze Admissible bases via stable canonical rules.
1.Full Text, 2.Abstract.
PP-2015-13:
Alexandru Baltag, Nina Gierasimczuk, Sonja Smets On the Solvability of Inductive Problems: A Study in Epistemic Topology.
1.Full Text, 2.Abstract.
PP-2015-12:
Alexander C. Block, Benedikt Loëwe Modal Logics and Multiverses.
1.Full Text, 2.Abstract.
PP-2015-11:
Johan van Benthem Logic and Philosophy, a Sea of Stories.
1.Full Text, 2.Abstract.
PP-2015-10:
Johan van Benthem Oscillations, Logic, and Dynamical Systems.
1.Full Text, 2.Abstract.
PP-2015-09:
Nick Bezhanishvili, Sumit Sourabh Sahlqvist preservation for topological fixed-point logic.
1.Full Text, 2.Abstract.
PP-2015-08:
Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin Cofinal stable logics.
1.Full Text, 2.Abstract.
PP-2015-07:
Johan van Benthem, Fenrong Liu Where is Logic Going?.
1.Full Text, 2.Abstract.
PP-2015-06:
Johan van Benthem Those Who Must Do It: the Agency of Language.
1.Full Text, 2.Abstract.
PP-2015-05:
Johan van Benthem, Sonja Smets Dynamic Logics of Belief Change.
1.Full Text, 2.Abstract.
PP-2015-04:
Hajnal Andréka, Johan van Benthem, Nick Bezhanishvili, István Németi Changing a Semantics: Opportunism or Courage?.
1.Full Text, 2.Abstract.
PP-2015-03:
Johan van Benthem Natural Language and Logic of Agency.
1.Full Text, 2.Abstract.
PP-2015-02:
Johan van Benthem, Fenrong Liu Deontic Logic and Preference Change.
1.Full Text, 2.Abstract.
PP-2015-01:
Johan van Benthem Talking about Knowledge.
1.Full Text, 2.Abstract.
X-2015-01:
Frederik Möllerström Lauridsen Bitopological Vietoris spaces and positive modal logic.
1.Full Text, 2.Abstract.
MoL-2015-31:
Francesca Zaffora Blando From von Mises' Impossibility of a Gambling System to Probabilistic Martingales.
1.Full Text, 2.Abstract.
MoL-2015-30:
Ko-Hung Kuan Coherence Preservation: A Threat to Probabilistic Measures of Coherence.
1.Full Text, 2.Abstract.
MoL-2015-29:
Maaike Annebeth Zwart Sheaf Models for Intuitionistic Non-Standard Arithmetic.
1.Full Text, 2.Abstract.
MoL-2015-28:
Francesco Gavazzo Investigations into Linear Logic with Fixed-Point Operators.
1.Full Text, 2.Abstract.
MoL-2015-27:
Ana Lucia Vargas Sandoval Learning Deductive Reasoning.
1.Full Text, 2.Abstract.
MoL-2015-26:
Suzanne van Wijk Coalitions in Epistemic Planning.
1.Full Text, 2.Abstract.
MoL-2015-25:
Joost Vecht Categorical Structuralism and the Foundations of Mathematics.
1.Full Text, 2.Abstract.
MoL-2015-24:
Md. Shahidul Islam Limits of Argumentation: A Wittgensteinian Approach.
1.Full Text, 2.Abstract.
MoL-2015-23:
Eileen Wagner Superplural Logic.
1.Full Text, 2.Abstract.
MoL-2015-22:
Michiel den Haan The Logic of Framing: The Framing Effect as a Non-Monotonic Decision Process of Path Dependence.
1.Full Text, 2.Abstract.
MoL-2015-21:
Konstantinos Gkikas Stable Beliefs and Conditional Probability Spaces.
1.Full Text, 2.Abstract.
MoL-2015-20:
Hanna Sofie van Lee The Reliability of Scientific Communities: a Logical Analysis.
1.Full Text, 2.Abstract.
MoL-2015-19:
Wouter P.J. Kroese When an Algorithm Cannot Help You Find a Wife: Modeling Two-Sided Matching Markets Using Stochastic Matching.
1.Full Text, 2.Abstract.
MoL-2015-18:
Frederik Möllerström Lauridsen One-Step Algebras and Frames for Modal and Intuitionistic Logics.
1.Full Text, 2.Abstract.
MoL-2015-17:
Kees van Berkel Kant's Logic in the Critique of Practical Reason.
1.Full Text, 2.Abstract.
MoL-2015-16:
Pietro Pasotti Chisholm's Paradox in Action Deontic Logics.
1.Full Text, 2.Abstract.
MoL-2015-15:
Fangzhou Zhai Toward Probabilistic Natural Logic for Syllogistic Reasoning.
1.Full Text, 2.Abstract.
MoL-2015-14:
Iris van de Pol How Difficult is it to Think that you Think that I Think that...? A DEL-based Computational-level Model of Theory of Mind and its Complexity.
1.Full Text, 2.Abstract.
MoL-2015-13:
Lorenzo Galeotti Computable Analysis Over the Generalized Baire Space.
1.Full Text, 2.Abstract.
MoL-2015-12:
Frank Feys Fourier Analysis for Social Choice.
1.Full Text, 2.Abstract.
MoL-2015-11:
Moritz Bäumel 'On Certainty' and Formal Epistemology.
1.Full Text, 2.Abstract.
MoL-2015-10:
Bill Noble All together now... This time with meaning: A hierarchical lexicon for semantic coordination.
1.Full Text, 2.Abstract.
MoL-2015-09:
Tingxiang Zou Filtered Order-partial Combinatory Algebras and Classical Realizability.
1.Full Text, 2.Abstract.
MoL-2015-08:
Jonathan Mallinson Modelling Syntactic and Semantic Tasks with Linguistically Enriched Recursive Neural Networks.
1.Full Text, 2.Abstract.
MoL-2015-07:
Babette Paping A game theoretic approach to cost allocation in the Dutch electricity grid.
1.Full Text, 2.Abstract.
MoL-2015-06:
Johannes Emerich Applying Types as Abstract Interpretation to a Language with Dynamic Dispatch.
1.Full Text, 2.Abstract.
MoL-2015-05:
Roosmarijn Goldbach Modelling Democratic Deliberation.
1.Full Text, 2.Abstract.
MoL-2015-04:
Sanne Kosterman Learning in Games through Social Networks.
1.Full Text, 2.Abstract.
MoL-2015-03:
Maša Močnik Slovenian Perfective and Imperfective Explicit Performative Utterances.
1.Full Text, 2.Abstract.
MoL-2015-02:
Ignas Vyšniauskas πdist: Towards a Typed π-calculus for Distributed Programming Languages.
1.Full Text, 2.Abstract.
MoL-2015-01:
Jouke E. Witteveen Structural Parameterized Complexity.
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