ILLC Publications, All Series, 2012

MoL-2012-01:
Viktoriia Denisova Ontological Commitment of Natural Language Semantics
MoL-2012-02:
Sylvia Boicheva Mechanism Design without Money
MoL-2012-03:
Thomas Peetz On Context-Free Grammar Induction by Incremental Compression
MoL-2012-04:
Daan Staudt Completeness for Two Left-Sequential Logics
MoL-2012-05:
Pawel Lojko Inquisitive Semantics and the Paradoxes of Material Implication
MoL-2012-06:
Alwin Blok Interaction, observation and denotation: A study of dialgebras for program semantics
MoL-2012-07:
Fenner Tanswell Proof and Prejudice: Why Formalising doesn't make you a Formalist
MoL-2012-08:
Fabio Zanasi Expressiveness of Monadic Second Order Logics on Infinite Trees of Arbitrary Branching Degree
MoL-2012-09:
Antonio Florio Science in Axiomatic Perspective
MoL-2012-10:
Paula Henk Supremum in the Lattice of Interpretability
MoL-2012-11:
Tong Wang An Ehrenfeucht-Fraisse Game for the Logic L-omega1-omega
MoL-2012-12:
Haitao Cai Causation and the Semantics of Counterfactuals
MoL-2012-13:
Riccardo Pinosio Kant's Transcendental Synthesis of the Imagination and Constructive Euclidean Geometry
MoL-2012-14:
Vahid M. Hashemi Extracting Trends from Incomplete Ordinal Preferences
MoL-2012-15:
Kyndylan Nienhuis Automatic Verication of Programs with Indirection
MoL-2012-16:
Aleks Knoks Abnormality Counts!
MoL-2012-17:
Nal Emmerich Kalchbrenner Walking the Graph of Language: On a Framework for Meaning and Analogy
MoL-2012-18:
Stefanie Kooistra Logic in Classical and Evolutionary Games
MoL-2012-19:
Yves Fomatati Sahlqvist Correspondence for Intuitionistic Modal Mu-Calculus
MoL-2012-20:
Marta Sznajder Dynamic Semantics for Intensional Transitive Verbs - a Case Study
MoL-2012-21:
Aadil Hanif Kurji An Update Semantics for Promises and Other Obligation-Creating Speech Acts: A Promising Start
MoL-2012-22:
Ekaterina Garmash Refining translation grammars through paraphrase clustering
MoL-2012-23:
Peter van Ormondt Finite narrative modelling, contextual dynamic semantics and Elusive Knowledge
PP-2012-01:
Olivia Ladinig, Henkjan Honing Complexity judgments as a measure of event salience in musical rhythms
PP-2012-02:
Ulle Endriss Computational Social Choice: Prospects and Challenges
PP-2012-03:
Ulle Endriss Logic and Social Choice Theory
PP-2012-04:
Felix Brandt, Vincent Conitzer, Ulle Endriss Computational Social Choice
PP-2012-05:
Annemieke Reijngoud, Ulle Endriss Voter Response to Iterated Poll Information
PP-2012-06:
Alexander Block, Rens Bod, Bernhard Fisseni, Adil Kurji, Carlos León, Benedikt Löwe, Deniz Sarikaya Objectivity and reproducibility of formal narrative representations or annotations: Propp's functions & narrative summarization
PP-2012-07:
Jouko Väänänen, Tong Wang Internal Categoricity in Arithmetic and Set Theory
PP-2012-08:
Bernhard Fisseni, Benedikt Löwe Which dimensions of narrative are relevant for human judgments of story equivalence?
PP-2012-09:
Rens Bod, Bernhard Fisseni, Aadil Kurji, Benedikt Löwe Objectivity and reproducibility of Proppian annotations
PP-2012-10:
Alexander Block, Bernhard Fisseni, Carlos León, Benedikt Löwe, Deniz Sarikaya Narrative summarization and its correspondence to Proppian functions
PP-2012-11:
Ulle Endriss Sincerity and Manipulation under Approval Voting
PP-2012-12:
Umberto Grandi, Ulle Endriss First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation
PP-2012-13:
Willem Zuidema Language in Nature: on the evolutionary roots of a cultural phenomenon
PP-2012-14:
Bart de Boer, Willem Zuidema Modelling in the Language Sciences
PP-2012-15:
Umberto Grandi The Common Structure of Paradoxes in Aggregation Theory
PP-2012-16:
Umberto Grandi, Gabriella Pigozzi On Compatible Multi-issue Group Decisions
PP-2012-17:
Ulle Endriss, Umberto Grandi Graph Aggregation
PP-2012-18:
Andreas van Cranenburgh Extracting tree fragments in linear average time
PP-2012-19:
Joel David Hamkins, George Leibman, Benedikt Löwe Structural connections between a forcing class and its modal logic
PP-2012-20:
Ulle Endriss Automated Analysis of Social Choice Problems: Approval Elections with Small Fields of Candidates
PP-2012-21:
Johan van Benthem Modeling Reasoning in a Social Setting
PP-2012-22:
Johan van Benthem Some Thoughts on the Logic of Strategies
PP-2012-23:
Johan van Benthem Two Logical Faces of Belief Revision
PP-2012-24:
Johan van Benthem Non-Standard Reasoning, Revisited
PP-2012-25:
Johan van Benthem, David Fernández Duque, Eric Pacuit Evidence Logic: A New Look at Neighborhood Structures
PP-2012-26:
Johan van Benthem The Nets of Reason
PP-2012-27:
Fenrong Liu, Jeremy Seligman, Johan van Benthem Models of Reasoning in Ancient China
PP-2012-28:
Johan van Benthem, Eric Pacuit Connecting Logics of Choice and Change
PP-2012-29:
Ulle Endriss, Umberto Grandi, Daniele Porello Complexity of Judgment Aggregation
PP-2012-30:
Daniele Porello, Ulle Endriss Ontology Merging as Social Choice: Judgment Aggregation under the Open World Assumption