Items where Year is 2006

Report

MoL-2006-01: Andrade, Edgar (2006) Meaning and Form in Event Calculus. [Report]

PP-2006-08: Bezhanishvili, Guram and van Benthem, Johan (2006) Modal Logics of Space. [Report]

X-2006-03: Bezhanishvili, Nick and Kurzen, Lena and Sterken, Rachel (2006) Student Papers from an Intuitionistic Logic Project. [Report]

PP-2006-25: Bezhanishvili, Nick and de Jongh, Dick (2006) Intuitionistic Logic. [Report]

PP-2006-46: Blass, Andreas and Dimitriou, Ioanna M. and Löwe, Benedikt (2006) Inaccessible Cardinals without the Axiom of Choice. [Report]

PP-2006-03: Blutner, Reinhard (2006) Optimality Theoretic Pragmatics and the Explicature/Implicature Distinction. [Report]

PP-2006-19: Bod, Rens (2006) Exemplar-Based Linguistics: How to Get Productivity from Examples. [Report]

PP-2006-20: Bod, Rens (2006) Towards a General Model of Applying Science. [Report]

X-2006-01: Bold, Stefan and Löwe, Benedikt (2006) The general inductive argument for measure analyses with additive ordinal algebras. [Report]

MoL-2006-02: Buschbom, Dirk (2006) Understanding As A Teleonomical Concept: Fundamentals of the Hermeneutical game. [Report]

PP-2006-51: Cerquides, Jesus and Endriss, Ulle and Giovannucci, Andrea and Rodriguez-Aguilar, Juan A. (2006) Bidding Languages and Winner Determination for Mixed Multi-unit Combinatorial Auctions. [Report]

PP-2006-43: Chevaleyre, Yann and Endriss, Ulle and Estivie, Sylvia and Maudet, Nicolas (2006) Multiagent Resource Allocation in k-additive Domains: Preference Representation and Complexity. [Report]

PP-2006-50: Chevaleyre, Yann and Endriss, Ulle and Estivie, Sylvia and Maudet, Nicolas (2006) Reaching Envy-free States in Distributed Negotiation Settings. [Report]

PP-2006-17: Chevaleyre, Yann and Endriss, Ulle and Lang, Jérôme (2006) Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modelling. [Report]

PP-2006-55: Chevaleyre, Yann and Endriss, Ulle and Lang, Jérôme and Maudet, Nicolas (2006) A Short Introduction to Computational Social Choice. [Report]

PP-2006-15: Chevaleyre, Yann and Endriss, Ulle and Maudet, Nicolas (2006) Tractable Negotiation in Tree-structured Domains. [Report]

MoL-2006-06: Cirasella, Jill (2006) Classical and Quantum Algorithms for Finding Cycles. [Report]

MoL-2006-03: Dimitriou, Ioanna (2006) Strong limits and Inaccessibility with non-wellorderable powersets. [Report]

PP-2006-01: Endriss, Ulle (2006) Monotonic Concession Protocols for Multilateral Negotiation. [Report]

X-2006-04: Endriss, Ulle and Lang, Jérôme (2006) Computational Social Choice 2006. [Report]

PP-2006-42: Endriss, Ulle and Pacuit, Eric (2006) Modal Logics of Negotiation and Preference. [Report]

PP-2006-16: Estivie, Sylvia and Chevaleyre, Yann and Endriss, Ulle and Maudet, Nicolas (2006) How Equitable is Rational Negotiation? [Report]

PP-2006-58: Fernández, Raquel and Endriss, Ulle (2006) Abstract Models for Dialogue Protocols. [Report]

MoL-2006-08: Fontaine, Gaëlle (2006) Axiomatization of ML and Cheq. [Report]

PP-2006-52: Gierasimczuk, Nina (2006) The Problem of Learning the Semantics of Quantifiers. [Report]

PP-2006-35: Gierasimczuk, Nina and Szymanik, Jakub (2006) Hintikka's Thesis Revisited. [Report]

PP-2006-12: Ikegami, Daisuke (2006) Projective absoluteness under Sacks forcing. [Report]

PP-2006-09: Jackson, Steve and Khafizov, Farid (2006) Descriptions and cardinals below $\delta^1_5$. [Report]

PP-2006-05: Jackson, Steve and Löwe, Benedikt (2006) Canonical Measure Assignments. [Report]

X-2006-02: Joosten, Joost J. (2006) Credit cards, computationele complexiteit en consistentie uitspraken. [Report]

PP-2006-56: Joosten, Joost J. (2006) Semantics for sub-intuitionistic logics. [Report]

PP-2006-22: Kieftenbeld, Vincent (2006) Notions of Strong Compactness without the Axiom of Choice. [Report]

PP-2006-57: Kieftenbeld, Vincent and Löwe, Benedikt (2006) A classification of ordinal topologies. [Report]

PP-2006-37: Liu, Fenrong (2006) Diversity of Agents. [Report]

PP-2006-41: Liu, Fenrong (2006) Preference Change and Information Processing. [Report]

PP-2006-14: Löwe, Benedikt (2006) Revision Forever! [Report]

PP-2006-13: Löwe, Benedikt (2006) Set Theory of Infinite Imperfect Information Games. [Report]

PP-2006-27: Löwe, Benedikt (2006) Space bounds for infinitary computation. [Report]

PP-2006-33: Löwe, Benedikt and Pacuit, Eric (2006) An abstract approach to reasoning about games with mistaken and changing beliefs. [Report]

PP-2006-10: Löwe, Benedikt and Semmes, Brian (2006) The Extent of Constructive Game Labellings. [Report]

PP-2006-40: Mostowski, Marcin and Szymanik, Jakub (2006) Semantical bounds for everyday language. [Report]

MoL-2006-07: Müller, Martin (2006) Accent and Focus in OT: a Cross-Linguistic Perspective. [Report]

MoL-2006-04: Nettey, Clive (2006) Link-Based Methods for Web Information Retrieval. [Report]

PP-2006-29: Pacuit, Eric (2006) A Note on Some Explicit Modal Logics. [Report]

PP-2006-28: Pacuit, Eric (2006) Some Comments on History Based Structures. [Report]

PP-2006-34: Roy, Olivier (2006) Commitment-Based Decision Making for Bounded Agents. [Report]

PP-2006-26: Sadzik, Tomasz (2006) Exploring the iterated update universe. [Report]

PP-2006-24: Semmes, Brian (2006) A Game for the Borel Functions. [Report]

PP-2006-23: Semmes, Brian (2006) Multitape Games. [Report]

PP-2006-18: Sevenster, Merlijn (2006) The Complexity of Scotland Yard. [Report]

PP-2006-32: Sevenster, Merlijn (2006) Henkin quantifiers: logic, games, and computation. [Report]

PP-2006-53: Sevenster, Merlijn and Tulenheimo, Tero (2006) Finite model theory for partially ordered connectives. [Report]

PP-2006-31: Sevenster, Merlijn and Tulenheimo, Tero (2006) Partially ordered connectives and Sigma-1-1 on finite models. [Report]

PP-2006-36: Szymanik, Jakub (2006) A note on some neuroimaging study of natural language quantifiers comprehension. [Report]

PP-2006-47: Tulenheimo, Tero and Sevenster, Merlijn (2006) Approaches to Independence Friendly Modal Logic. [Report]

MoL-2006-09: Vosmaer, Jacob (2006) Connecting the profinite completion and the canonical extension using duality. [Report]

MoL-2006-05: Wang, Yanjing (2006) Indexed Semantics and Its Application in Modelling Interactive Unawareness. [Report]

PP-2006-02: Yamada, Tomoyuki (2006) Acts of Commanding and Changing Obligations. [Report]

PP-2006-39: Yap, Audrey (2006) Product Update and Looking Backward. [Report]

PP-2006-48: de Jongh, Dick (2006) The Incompleteness Theorems, their content and their meaning. [Report]

PP-2006-38: de Jongh, Dick and Liu, Fenrong (2006) Optimality, Belief and Preference. [Report]

PP-2006-49: van Benthem, Johan (2006) Computation as Conversation. [Report]

PP-2006-11: van Benthem, Johan (2006) Dynamic Logic of Belief Revision. [Report]

PP-2006-07: van Benthem, Johan (2006) Information as Correlation versus Information as Range. [Report]

PP-2006-06: van Benthem, Johan (2006) A New Modal Lindstr\"om Theorem. [Report]

PP-2006-59: van Benthem, Johan (2006) Rationalizations and Promises in Games. [Report]

PP-2006-30: van Benthem, Johan and Blackburn, Patrick (2006) Modal Logic: A Semantic Perspective. [Report]

PP-2006-21: van Benthem, Johan and Gerbrandy, Jelle and Kooi, Barteld (2006) Dynamic Update with Probabilities. [Report]

PP-2006-45: van Benthem, Johan and Liu, Fenrong (2006) Dynamic logic of preference upgrade. [Report]

PP-2006-44: van Benthem, Johan and Pacuit, Eric (2006) The Tree of Knowledge in Action: Towards a Common Perspective. [Report]

PP-2006-04: van Emde Boas, Evert (2006) $\Pi o\hat{\imath}o\nu \; \tau \grave{o}\nu\; \mu\hat{\upsilon}\theta o\nu\; \raisebox{0.5ex}{\scriptsize'$\scriptstyle{'}$}\!\!\!{\epsilon}\epsilon \imath\pi\epsilon\varsigma;$ Rhetorical Questions in Ancient Greek. [Report]

PP-2006-54: van Hees, Martin and Roy, Olivier (2006) Intentions and Plans in Decision and Game Theory. [Report]

Thesis

DS-2006-02: Bezhanishvili, Nick (2006) Lattices of intermediate and cylindric modal logics. Doctoral thesis, University of Amsterdam.

DS-2006-05: Honingh, Aline (2006) The Origin and Well-Formedness of Tonal Pitch Structures. Doctoral thesis, University of Amsterdam.

DS-2006-03: Kupke, Clemens (2006) Finitary coalgebraic logics. Doctoral thesis, University of Amsterdam.

DS-2006-01: Lee, Troy (2006) Kolmogorov complexity and formula size lower bounds. Doctoral thesis, University of Amsterdam.

DS-2006-07: Nilsenova, Marie (2006) Rises and Falls. Studies in the Semantics and Pragmatics of Intonation. Doctoral thesis, University of Amsterdam.

DS-2006-04: Robert Špalek (2006) Quantum Algorithms, Lower Bounds, and Time-Space Tradeoffs. Doctoral thesis, University of Amsterdam.

DS-2006-08: Sarenac, Darko (2006) Products of Topological Modal Logics. Doctoral thesis, University of Amsterdam.

DS-2006-06: Sevenster, Merlijn (2006) Branches of imperfect information: logic, games, and computation. Doctoral thesis, University of Amsterdam.