Main Page Navigation
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
