Universiteit van Amsterdam

ILLC Publications, All Series, 2011

MoL-2011-01:
Tom Florian Sterkenburg Sequences with Trivial Initial Segment Complexity
MoL-2011-02:
Peter Fritz Matrices and Modalities: On the Logic of Two-Dimensional Semantics
MoL-2011-03:
Lars Wortel Side Effects in Steering Fragments
MoL-2011-04:
Douwe Kiela Variable Binding in Biologically Plausible Neural Networks
MoL-2011-05:
Sophie Arnoult Smoothing a PBSMT Model by Factoring Out Adjuncts
MoL-2011-06:
Noortje Joost Venhuizen Negation in Questions
MoL-2011-07:
Navid Talebanfard Tightening the Compression Hierarchies
MoL-2011-08:
Ilan Frank Information and Representation in Computational Social Choice
MoL-2011-09:
Irma Cornelisse Context Dependence of Epistemic Operators in Dynamic Evidence Logic
MoL-2011-10:
Cian Chartier Tarski's Threat to the T-Schema
MoL-2011-11:
Kasper Højbjerg Christensen Counterfactual Dependencies
MoL-2011-12:
Spencer C. Johnston Buridan's Theory of Logical Consequence
MoL-2011-13:
Willem M. Baartse Finding the phase transition for Friedman's long finite sequences
MoL-2011-14:
Zhenhao Li Degrees of Non-Determinacy and Game Logics on Cardinals under the Axiom of Determinacy
MoL-2011-15:
Johannes Marti Relation Liftings in Coalgebraic Modal Logic
MoL-2011-16:
Gabriela Asli Rino Nesin Completing partial algebra models of term rewriting systems
MoL-2011-17:
Rogier Jacobsz The Cylindric Algebras of 4-Valued Logic
MoL-2011-18:
Andreas van Cranenburgh Discontinuous Data-Oriented Parsing through Mild Context-Sensitivity
MoL-2011-19:
Annemieke Reijngoud Voter Response to Iterated Poll Information
MoL-2011-20:
Floor Rombout "|": Frege, Russell and Wittgenstein on the Judgment Stroke
MoL-2011-21:
Bruno Jacinto Consequence in Context: Two-Dimensional Semantics meets Logical Consequence
PP-2011-01:
George Barmpalias, Andrew E.M. Lewis Chaitin's halting probability and the compression of strings using oracles
PP-2011-02:
Johan van Benthem, Davide Grossi Normal Forms for Priority Graphs
PP-2011-03:
Benedikt Löwe Comparing formal frameworks of narrative structure
PP-2011-04:
Christian Geist, Ulle Endriss Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects
PP-2011-05:
George Barmpalias, Andrew E.M. Lewis Measure and cupping in the Turing degrees
PP-2011-06:
Ulle Endriss, Sarit Kraus, Jérôme Lang, Michael Wooldridge Designing Incentives for Boolean Games
PP-2011-07:
Erich Grädel, Jouko Väänänen Dependence and Independence
PP-2011-08:
Yurii Khomskii William of Sherwood, singular propositions and the hexagon of opposition.
PP-2011-09:
Jörg Brendle, Yurii Khomskii Polarized partitions on the second level of the projective hierarchy
PP-2011-10:
Cédric Dégremont, Benedikt Löwe, Andreas Witzel The synchronicity of dynamic epistemic logic
PP-2011-11:
Yurii Khomskii A general setting for the pointwise investigation of determinacy
PP-2011-12:
Stéphane Airiau, Ulle Endriss, Umberto Grandi, Daniele Porello, Joel Uckelman Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections
PP-2011-13:
Umberto Grandi, Ulle Endriss Binary Aggregation with Integrity Constraints
PP-2011-14:
Daniele Porello, Ulle Endriss Ontology Merging as Social Choice
PP-2011-15:
Ulle Endriss Applications of Logic in Social Choice Theory
PP-2011-16:
Benedikt Löwe, Eric Pacuit, Andreas Witzel DEL planning and some tractable cases
PP-2011-17:
Benedikt Löwe Methodological remarks about comparing formal frameworks for narratives
PP-2011-18:
Aline Honingh, Rens Bod Clustering and classification of music by interval categories
PP-2011-19:
Johan van Benthem, Eric Pacuit Dynamic Logics of Evidence-Based Beliefs
PP-2011-20:
Johan van Benthem Exploring a Theory of Play
PP-2011-21:
Johan van Benthem, Nick Bezhanishvili, Ian Hodkinson Sahlqvist Correspondence for Modal Mu-Calculus
PP-2011-22:
Johan van Benthem Logic in a Social Setting
PP-2011-23:
Johan van Benthem, Hans van Ditmarsch, Stefan Minica Question-Answer Games
PP-2011-24:
Johan van Benthem, Fenrong Liu Deontic Logic and Changing Preferences
PP-2011-25:
Johan van Benthem Logic between Expressivity and Complexity
PP-2011-26:
Johan van Benthem Logic, Mathematics, and General Agency
PP-2011-27:
Johan van Benthem, Eric Pacuit, Olivier Roy Toward a Theory of Play: A Logical Perspective on Games and Interaction
PP-2011-28:
Johan van Benthem, Amélie Gheerbrant Game Solution, Epistemic Dynamics and Fixed-Point Logics
PP-2011-29:
Johan van Benthem, Davide Grossi, Fenrong Liu On the Two Faces of Deontics: Semantic Betterness and Syntactic Priority
PP-2011-30:
Johan van Benthem, Fernando Velázquez-Quesada The Dynamics of Awareness
PP-2011-31:
Johan van Benthem, Cédric Dégrémont Multi-agent belief dynamics: bridges between dynamic doxastic and doxastic temporal logics
PP-2011-32:
Johan van Benthem Dynamic Logic in Natural Language
PP-2011-33:
Pietro Galliani Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information
PP-2011-34:
Nick Bezhanishvili, Dick de Jongh Extendible formulas in two variables in intuitionistic logic
PP-2011-35:
Leo Esakia, Benedikt Löwe Fatal Heyting Algebras and Forcing Persistent Sentences
PP-2011-36:
Peter van Emde Boas Turing Machines for Dummies: why representations do matter
PP-2011-37:
Floris Roelofsen An inquisitive dynamic epistemic logic
PP-2011-38:
Khalil Sima'an, Gideon Maillette de Buy Wenniger Hierarchical Translation Equivalence over Word Alignments
X-2011-01:
María Inés Crespo, Dimitris Gakis, Galit Weidman-Sassoon (editors) Proceedings of the Amsterdam Graduate Philosophy Conference - Truth, Meaning, and Normativity
X-2011-02:
Edith Elkind, Ulle Endriss, Jérôme Lang IJCAI-2011 Workshop on Social Choice and Artificial Intelligence
X-2011-03:
Tarek Besold Computational Models of Analogy-Making. An Overview Analysis of Computational Approaches to Analogical Reasoning
X-2011-04:
Rens Bod, Benedikt Löwe, Sanchit Saraf How much do formal narrative annotations differ? A Proppian case study
X-2011-05:
Johan van Benthem Epistemic Logic: Five Questions Interview
X-2011-06:
Paula Henk A new perspective on the arithmetical completeness of GL

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