View publication by year:
- 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
1.Abstract.
- 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