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