ILLC Publications, All Series, 2011

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

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