Items where Year is 2014

A

MoL-2014-04: Achimescu, Andreea (2014) Games and Logics for Informational Cascades. [Report]

PP-2014-10: Andreka, Hajnal and van Benthem, Johan and Bezhanishvili, Nick and Németi, István (2014) Changing a semantics: opportunism or courage? [Report]

B

PP-2014-03: Baltag, Alexandru and Bezhanishvili, Nick and Smets, Sonja (2014) The Topology of Full and Weak Belief. [Report]

PP-2014-20: Baltag, Alexandru and Gierasimczuk, Nina and Smets, Sonja (2014) Truth-Tracking by Belief Revision. [Report]

DS-2014-03: Bastiaanse, Harald A. (2014) Very, Many, Small, Penguins. Doctoral thesis, University of Amsterdam.

PP-2014-08: Bezhanishvili, Guram and Bezhanishvili, Nick and Iemhoff, Rosalie (2014) Stable canonical rules. [Report]

PP-2014-23: Bezhanishvili, Guram and Bezhanishvili, Nick and Sourabh, Sumit and Venema, Yde (2014) Subordinations, closed relations, and compact Hausdorff spaces. [Report]

PP-2014-02: Bezhanishvili, Nick and Coumans, Dion and van Gool, Sam and de Jongh, Dick (2014) Duality and universal models for the meet-implication fragment of IPC. [Report]

PP-2014-05: Bezhanishvili, Nick and Ghilardi, Silvio (2014) Multiple-conclusion Rules, Hypersequents Syntax and Step Frames. [Report]

PP-2014-19: Bezhanishvili, Nick and de Jongh, Dick (2014) Stable formulas in intuitionistic logic. [Report]

MoL-2014-02: Block, Alexander C. (2014) Operations on a Wadge-Type Hierarchy of Ordinal-Valued Functions. [Report]

MoL-2014-03: Boddy, Rachel (2014) Epistemic Issues and Group Knowledge. [Report]

MoL-2014-17: Brinkhorst, Sanne (2014) On Evolution of Compositionality. [Report]

C

PP-2014-15: Cailloux, Olivier and Endriss, Ulle (2014) Eliciting a Suitable Voting Rule via Examples. [Report]

PP-2014-09: Christoff, Zoé and Hansen, Jens Ulrik (2014) Dynamic Social Networks Logic. [Report]

D

MoL-2014-01: Dimarogkona, Maria (2014) The Problem of Existence in Western Philosophy: Aristotle - Thomas Aquinas. [Report]

MoL-2014-12: Docherty, Simon (2014) A Model Of Type Theory In Cubical Sets With Connections. [Report]

PP-2014-06: de Jongh, Dick and Zhao, Zhiguang (2014) Positive Formulas in Intuitionistic and Minimal Logic. [Report]

E

MoL-2014-11: Eelink, Guus Willem (2014) Davidson on belief, truth, and the sceptic. [Report]

PP-2014-17: Endriss, Ulle (2014) Social Choice Theory as a Foundation for Multiagent Systems. [Report]

PP-2014-14: Endriss, Ulle and Grandi, Umberto (2014) Collective Rationality in Graph Aggregation. [Report]

PP-2014-13: Endriss, Ulle and de Haan, Ronald and Szeider, Sefan (2014) Parameterized Complexity Results for Agenda Safety in Judgment Aggregation. [Report]

F

MoL-2014-23: Feng, Yuning (2014) Constructing Variants of the Category of Partial Equivalence Relations. [Report]

PP-2014-04: Fisseni, Bernhard and Löwe, Benedikt (2014) Event mappings for comparing formal frameworks for narratives. [Report]

G

MoL-2014-16: Gattinger, Malvin (2014) Dynamic Epistemic Logic for Guessing Games and Cryptographic Protocols. [Report]

H

PP-2014-16: Hashemi, Vahid and Endriss, Ulle (2014) Measuring Diversity of Preferences in a Group. [Report]

PP-2014-01: Henk, Paula (2014) Kripke Models Built from Models of Arithmetic. [Report]

MoL-2014-13: Herbstritt, Michele (2014) Why can't we be surprised whether it rains in Amsterdam? A semantics for factive verbs and embedded questions. [Report]

PP-2014-18: Honingh, Aline and Burgoyne, John Ashley and van Kranenburg, Peter and Volk, Anja (2014) Strengthening Interdisciplinarity in MIR: Four Examples of Using MIR Tools for Musicology. [Report]

I

DS-2014-02: Icard, Thomas (2014) The Algorithmic Mind: A Study of Inference in Action. Doctoral thesis, University of Amsterdam.

MoL-2014-10: Ilin, Julia (2014) An Outline of Algebraic Set Theory with a View Towards Cohen's Model Falsifying the Continuum Hypothesis. [Report]

PP-2014-07: Inamdar, Tanmay and Löwe, Benedikt (2014) The Modal Logic of Inner Models. [Report]

PP-2014-21: Incurvati, Luca and Löwe, Benedikt (2014) Restrictiveness relative to notions of interpretations. [Report]

J

HDS-10: Janssen, Theo (2014) Foundations and applications of Montague grammar. Doctoral thesis, University of Amsterdam.

K

DS-2014-01: Keestra, Machiel (2014) Sculpting the Space of Actions. Explaining Human Action by Integrating Intentions and Mechanisms. Doctoral thesis, University of Amsterdam.

MoL-2014-18: Kruger, Justin (2014) Actions in Social Choice. [Report]

PP-2014-11: Kruger, Justin and Endriss, Ulle and Fernandez, Raquel and Qing, Ciyang (2014) Axiomatic Analysis of Aggregation Methods for Collective Annotation. [Report]

L

PP-2014-22: Löwe, Benedikt and Tarafder, Sourav (2014) Generalized algebra-valued models of set theory. [Report]

M

MoL-2014-15: Maddirala, Nikhil (2014) Philosophy of logical practice: a case study in formal semantics. [Report]

MoL-2014-14: McWhirter, Sarah (2014) An Automata-Theoretic Perspective on Polyadic Quantification in Natural Language. [Report]

MoL-2014-20: Mojica, Laura (2014) Anxiety: A Grammatical Investigation. [Report]

O

MoL-2014-19: Olsen, Jessica (2014) Would You Believe That? The Prerogative of Assent and Utility of Disagreement. [Report]

Q

MoL-2014-06: Qing, Ciyang (2014) Quantiative Social-Cognitive Experimental Pragmatics. [Report]

PP-2014-12: Qing, Ciyang and Endriss, Ulle and Fernandez, Raquel and Kruger, Justin (2014) Empirical Analysis of Aggregation Methods for Collective Annotation. [Report]

R

DS-2014-04: Rodenhäuser, Ben (2014) A Matter of Trust: Dynamic Attitudes in Epistemic Logic. Doctoral thesis, University of Amsterdam.

S

HDS-07: Scha, Remko (2014) Logical Foundations for Question Answering. Doctoral thesis, University of Amsterdam.

MoL-2014-09: Schlöder, Julian J. (2014) Uptake, Clarification and Argumentation. [Report]

MoL-2014-05: Speitel, Sebastian (2014) Limning the True and Ultimate Structure of Reality. [Report]

T

MoL-2014-07: Theiler, Nadine (2014) A Multitude of Answers: Embedded Questions in Typed Inquisitive Semantics. [Report]

IV-07: Troelstra, Anne (2014) Ware en Gevoelige Verhalen (Valedictory). [Report]

V

IV-06: Veltman, Frank (2014) De taal der vooroordelen (Valedictory). [Report]

IV-05: Veltman, Frank (2014) Het verschil tussen 'vaag' en 'niet precies' (Inaugural). [Report]

IV-03: Venema, Yde (2014) Algebra en Coalgebra: bespiegelingen in de logica (Inaugural). [Report]

HDS-09: Vitányi, Paul (2014) Lindenmayer Systems: Structure, Languages, and Growth Functions. Doctoral thesis, University of Amsterdam.

IV-04: van Benthem, Johan (2014) Fanning the flames of reason (Valedictory). [Report]

IV-01: van Benthem, Johan (2014) In Alle Redelijkheid (Inaugural). [Report]

HDS-06: van Benthem, Johan (2014) Modal Correspondence Theory. Doctoral thesis, University of Amsterdam.

IV-02: van Benthem, Johan (2014) Rekenen met Taal (Inaugural). [Report]

HDS-08: van Lambalgen, Michiel (2014) Random Sequences. Doctoral thesis, University of Amsterdam.

MoL-2014-21: van Weegen, Lara Elise (2014) Informational cascades under variable reliability assessments: A formal and empirical investigation. [Report]

W

MoL-2014-22: Wijnholds, Gijs (2014) Categorical Foundations for Extended Compositional Distributional Models of Meaning. [Report]

Y

MoL-2014-08: Yarandi, Seyed Mohammad (2014) Proper Names and Propositional Attitudes. [Report]

Z

X-2014-02: Zhong, Shengyang (2014) Definability in Quantum Kripke Frames. [Report]

X-2014-01: Zhong, Shengyang (2014) Geometry in Quantum Kripke Frames. [Report]