PP-2012-06: Block, Alexander and Bod, Rens and Fisseni, Bernhard and Kurji, Adil and León, Carlos and Löwe, Benedikt and Sarikaya, Deniz (2012) Objectivity and reproducibility of formal narrative representations or annotations: Propp's functions & narrative summarization. [Report]
PP-2012-10: Block, Alexander and Fisseni, Bernhard and León, Carlos and Löwe, Benedikt and Sarikaya, Deniz (2012) Narrative summarization and its correspondence to Proppian functions. [Report]
HDS-01: Blok, Wim (2012) Varieties of Interior Algebras. Doctoral thesis, University of Amsterdam.
MoL-2012-06: Blok, Alwin (2012) Interaction, observation and denotation: A study of dialgebras for program semantics. [Report]
PP-2012-09: Bod, Rens and Fisseni, Bernhard and Kurji, Aadil and Löwe, Benedikt (2012) Objectivity and reproducibility of Proppian annotations. [Report]
MoL-2012-02: Boicheva, Sylvia (2012) Mechanism Design without Money. [Report]
PP-2012-04: Brandt, Felix and Conitzer, Vincent and Endriss, Ulle (2012) Computational Social Choice. [Report]
MoL-2012-12: Cai, Haitao (2012) Causation and the Semantics of Counterfactuals. [Report]
MoL-2012-01: Denisova, Viktoriia (2012) Ontological Commitment of Natural Language Semantics. [Report]
DS-2012-12: Dormans, Joris (2012) Engineering emergence: applied theory for game design. Doctoral thesis, University of Amsterdam.
PP-2012-14: de Boer, Bart and Zuidema, Willem (2012) Modelling in the Language Sciences. [Report]
PP-2012-20: Endriss, Ulle (2012) Automated Analysis of Social Choice Problems: Approval Elections with Small Fields of Candidates. [Report]
PP-2012-02: Endriss, Ulle (2012) Computational Social Choice: Prospects and Challenges. [Report]
PP-2012-03: Endriss, Ulle (2012) Logic and Social Choice Theory. [Report]
PP-2012-11: Endriss, Ulle (2012) Sincerity and Manipulation under Approval Voting. [Report]
PP-2012-17: Endriss, Ulle and Grandi, Umberto (2012) Graph Aggregation. [Report]
PP-2012-29: Endriss, Ulle and Grandi, Umberto and Porello, Daniele (2012) Complexity of Judgment Aggregation. [Report]
PP-2012-08: Fisseni, Bernhard and Löwe, Benedikt (2012) Which dimensions of narrative are relevant for human judgments of story equivalence? [Report]
MoL-2012-09: Florio, Antonio (2012) Science in Axiomatic Perspective. [Report]
MoL-2012-19: Fomatati, Yves (2012) Sahlqvist Correspondence for Intuitionistic Modal Mu-Calculus. [Report]
DS-2012-06: Gakis, Dimitris (2012) Contextual Metaphilosophy - The Case of Wittgenstein. Doctoral thesis, University of Amsterdam.
DS-2012-07: Galliani, Pietro (2012) The Dynamics of Imperfect Information. Doctoral thesis, University of Amsterdam.
MoL-2012-22: Garmash, Ekaterina (2012) Refining translation grammars through paraphrase clustering. [Report]
DS-2012-08: Grandi, Umberto (2012) Binary Aggregation with Integrity Constraints. Doctoral thesis, University of Amsterdam.
PP-2012-15: Grandi, Umberto (2012) The Common Structure of Paradoxes in Aggregation Theory. [Report]
PP-2012-12: Grandi, Umberto and Endriss, Ulle (2012) First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation. [Report]
PP-2012-16: Grandi, Umberto and Pigozzi, Gabriella (2012) On Compatible Multi-issue Group Decisions. [Report]
PP-2012-19: Hamkins, Joel David and Leibman, George and Löwe, Benedikt (2012) Structural connections between a forcing class and its modal logic. [Report]
MoL-2012-14: Hashemi, Vahid M. (2012) Extracting Trends from Incomplete Ordinal Preferences. [Report]
MoL-2012-10: Henk, Paula (2012) Supremum in the Lattice of Interpretability. [Report]
DS-2012-09: Holliday, Wesley Halcrow (2012) Knowing What Follows: Epistemic Closure and Epistemic Logic. Doctoral thesis, University of Amsterdam.
MoL-2012-17: Kalchbrenner, Nal Emmerich (2012) Walking the Graph of Language: On a Framework for Meaning and Analogy. [Report]
DS-2012-04: Khomskii, Yurii (2012) Regularity Properties and Definability in the Real Number Continuum: idealized forcing, polarized partitions, Hausdorff gaps and mad families in the projective hierarchy. Doctoral thesis, University of Amsterdam.
MoL-2012-16: Knoks, Aleks (2012) Abnormality Counts! [Report]
MoL-2012-18: Kooistra, Stefanie (2012) Logic in Classical and Evolutionary Games. [Report]
MoL-2012-21: Kurji, Aadil Hanif (2012) An Update Semantics for Promises and Other Obligation-Creating Speech Acts: A Promising Start. [Report]
PP-2012-01: Ladinig, Olivia and Honing, Henkjan (2012) Complexity judgments as a measure of event salience in musical rhythms. [Report]
PP-2012-27: Liu, Fenrong and Seligman, Jeremy and van Benthem, Johan (2012) Models of Reasoning in Ancient China. [Report]
MoL-2012-05: Lojko, Pawel (2012) Inquisitive Semantics and the Paradoxes of Material Implication. [Report]
DS-2012-03: Lotero, Edgar José Andrade (2012) Models of Language: Towards a practice-based account of information in natural language. Doctoral thesis, University of Amsterdam.
DS-2012-10: Meyers, Jeremy (2012) Locations, Bodies, and Sets: A model theoretic investigation into nominalistic mereologies. Doctoral thesis, University of Amsterdam.
DS-2012-02: Mylonakis, Markos (2012) Learning the Latent Structure of Translation. Doctoral thesis, University of Amsterdam.
MoL-2012-15: Nienhuis, Kyndylan (2012) Automatic Verication of Programs with Indirection. [Report]
MoL-2012-03: Peetz, Thomas (2012) On Context-Free Grammar Induction by Incremental Compression. [Report]
MoL-2012-13: Pinosio, Riccardo (2012) Kant's Transcendental Synthesis of the Imagination and Constructive Euclidean Geometry. [Report]
PP-2012-30: Porello, Daniele and Endriss, Ulle (2012) Ontology Merging as Social Choice: Judgment Aggregation under the Open World Assumption. [Report]
PP-2012-05: Reijngoud, Annemieke and Endriss, Ulle (2012) Voter Response to Iterated Poll Information. [Report]
DS-2012-01: Sangati, Federico (2012) Decomposing and Regenerating Syntactic Trees. Doctoral thesis, University of Amsterdam.
DS-2012-11: Sietsma, Floor (2012) Logics of Communication and Knowledge. Doctoral thesis, University of Amsterdam.
DS-2012-05: Soriano, David García (2012) Query-Efficient Computation in Property Testing and Learning Theory. Doctoral thesis, University of Amsterdam.
MoL-2012-04: Staudt, Daan (2012) Completeness for Two Left-Sequential Logics. [Report]
MoL-2012-20: Sznajder, Marta (2012) Dynamic Semantics for Intensional Transitive Verbs - a Case Study. [Report]
MoL-2012-07: Tanswell, Fenner (2012) Proof and Prejudice: Why Formalising doesn't make you a Formalist. [Report]
HDS-03: Troelstra, Anne (2012) Intuitionistic General Topology. Doctoral thesis, University of Amsterdam.
HDS-02: Veltman, Frank (2012) Logics for Conditionals. Doctoral thesis, University of Amsterdam.
PP-2012-07: Väänänen, Jouko and Wang, Tong (2012) Internal Categoricity in Arithmetic and Set Theory. [Report]
PP-2012-21: van Benthem, Johan (2012) Modeling Reasoning in a Social Setting. [Report]
PP-2012-26: van Benthem, Johan (2012) The Nets of Reason. [Report]
PP-2012-24: van Benthem, Johan (2012) Non-Standard Reasoning, Revisited. [Report]
PP-2012-22: van Benthem, Johan (2012) Some Thoughts on the Logic of Strategies. [Report]
PP-2012-23: van Benthem, Johan (2012) Two Logical Faces of Belief Revision. [Report]
PP-2012-25: van Benthem, Johan and Duque, David Fernández and Pacuit, Eric (2012) Evidence Logic: A New Look at Neighborhood Structures. [Report]
PP-2012-28: van Benthem, Johan and Pacuit, Eric (2012) Connecting Logics of Choice and Change. [Report]
PP-2012-18: van Cranenburgh, Andreas (2012) Extracting tree fragments in linear average time. [Report]
MoL-2012-23: van Ormondt, Peter (2012) Finite narrative modelling, contextual dynamic semantics and Elusive Knowledge. [Report]
MoL-2012-11: Wang, Tong (2012) An Ehrenfeucht-Fraisse Game for the Logic L-omega1-omega. [Report]
MoL-2012-08: Zanasi, Fabio (2012) Expressiveness of Monadic Second Order Logics on Infinite Trees of Arbitrary Branching Degree. [Report]
PP-2012-13: Zuidema, Willem (2012) Language in Nature: on the evolutionary roots of a cultural phenomenon. [Report]
![[up]](/style/images/multi_up.png)
Up a level