Number of items: **80**.

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]

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.