Number of items: **48**.

PP-2001-18:
Aiello, M. and van Benthem, J. and Bezhanishvili, G.
(2001)
*Reasoning About Space: The Modal Way.*
[Report]

PP-2001-23:
Aiello, Marco and van Benthem, Johan
(2001)
*A Modal Walk Through Space.*
[Report]

DS-2001-01:
Aloni, Maria
(2001)
*Quantification under Conceptual Covers.*
Doctoral thesis, University of Amsterdam.

PP-2001-08:
Areces, C and Bernardi, R.
(2001)
*Analyzing the Core of Categorial Grammar.*
[Report]

PP-2001-19:
Areces, C. and Blackburn, P. and Marx, M.
(2001)
*Repairing the Interpolation Theorem in Quantified Modal Logic.*
[Report]

MoL-2001-09:
Arevadze, Nick
(2001)
*Finite Projective Formulas.*
[Report]

PP-2001-03:
Bartsch, Renate
(2001)
*Consciousness at the Cutting Edge between World and Brain: The Interaction between Perception, Imagination, Thought, and Language.*
[Report]

PP-2001-07:
Bartsch, Renate
(2001)
*Generating Polysemy: Metaphor and Metonymy.*
[Report]

MoL-2001-08:
Bergo, Alexander
(2001)
*Text Categorization and Prototypes.*
[Report]

PP-2001-17:
Blackburn, P. and Kamps, J. and Marx, M.
(2001)
*Situation Calculus as Hybrid Logic: First Steps.*
[Report]

X-2001-01:
Budiyanto, A.H.
(2001)
*Introduction to Turing Nonrigidity.*
[Report]

PP-2001-22:
Corsi, Giovanna
(2001)
*A Unifying Completeness Theorem in Quantified Modal logic.*
[Report]

PP-2001-21:
D'Agostino, Giovanna and Lenzi, Giacomo
(2001)
*Comparing Levels of Bisimulation Quantifiers Logic with the mu-calculus.*
[Report]

PP-2001-12:
Dekker, Paul
(2001)
*Dynamics and Pragmatics of ``Peirce's Puzzle''.*
[Report]

PP-2001-11:
Dekker, Paul
(2001)
*Meaning and Use of Indefinite Expressions.*
[Report]

PP-2001-14:
Dekker, Paul
(2001)
*On If and Only.*
[Report]

PP-2001-13:
Dekker, Paul
(2001)
*``She'' 's Character.*
[Report]

PP-2001-15:
Dekker, Paul and van Rooy, Robert
(2001)
*Bi-Directional Optimality Theory: An Application of Game Theory.*
[Report]

DS-2001-03:
de Haas, Erik
(2001)
*Logics For OO Information Systems: a Semantic Study of Object Orientation from a Categorial Substructural Perspective.*
Doctoral thesis, University of Amsterdam.

DS-2001-06:
de Wolf, Ronald
(2001)
*Quantum Computing and Communication Complexity.*
Doctoral thesis, University of Amsterdam.

DS-2001-02:
den Bosch, Alexander van
(2001)
*Rationality in Discovery - a study of Logic, Cognition, Computation and Neuropharmacology.*
Doctoral thesis, University of Amsterdam.

MoL-2001-11:
Gabelaia, David
(2001)
*Modal definability in topology.*
[Report]

MoL-2001-14:
Giannakoulopoulos, Andreas P.
(2001)
*Frog Leaps and Human Noises: An Optimality Theory Approach to Cultural Change.*
[Report]

MoL-2001-15:
Giritli, Mehmet
(2001)
*From 3-SAT to \{2+p\},\{3\}-SAT.*
[Report]

PP-2001-02:
Goguadze, G. and Piazza, C. and Venema, Y.
(2001)
*Simulating polyadic modal logics by monadic ones.*
[Report]

PP-2001-09:
Hendriks, Lex and de Jongh, Dick
(2001)
*Characterization of Strongly Equivalent Logic Programs in Intermediate Logics.*
[Report]

MoL-2001-12:
Hindsill, Darrin
(2001)
*On the Turning Verbs into Nouns.*
[Report]

DS-2001-05:
Hoogland, Eva
(2001)
*Definability and Interpolation: Model-theoretic investigations.*
Doctoral thesis, University of Amsterdam.

DS-2001-04:
Iemhoff, Rosalie
(2001)
*Provability Logic and Admissible Rules.*
Doctoral thesis, University of Amsterdam.

PP-2001-16:
Kamps, J. and Marx, M.
(2001)
*Words with Attitude.*
[Report]

DS-2001-09:
Kerdiles, Gwen
(2001)
*Saying It with Pictures: a Logical Landscape of Conceptual Graphs.*
Doctoral thesis, University of Amsterdam.

MoL-2001-01:
Khavtasi, Levan
(2001)
*Extending Focus Theories: Particles in Focus.*
[Report]

MoL-2001-13:
Lee, Troy
(2001)
*Is Multiplication Harder than Addition? Arithmetical Definability over Finite Structures.*
[Report]

PP-2001-01:
Marx, Maarten
(2001)
*Complexity of Intuitionistic Predicate Logic with One Variable.*
[Report]

PP-2001-04:
Marx, Maarten
(2001)
*Relation Algebra with Binders.*
[Report]

PP-2001-10:
Marx, Maarten and Mikulas, Szabolcs
(2001)
*An Elementary Construction for a Non-elementary Procedure.*
[Report]

MoL-2001-04:
Mattausch, Jason
(2001)
*On Optimization in Discourse Generation.*
[Report]

PP-2001-05:
Morreau, Michael
(2001)
*The Good, the Bad and the Far-fetched.*
[Report]

PP-2001-06:
Morreau, Michael
(2001)
*What Vague Objects are like.*
[Report]

MoL-2001-02:
Netchitailov, Iouri
(2001)
*An Extension of Game Logic with Parallel Operators.*
[Report]

MoL-2001-03:
Nilsenová, Marie
(2001)
*Uncertainty in the Common Ground.*
[Report]

DS-2001-10:
Pauly, Marc
(2001)
*Logic for Social Software.*
Doctoral thesis, University of Amsterdam.

MoL-2001-05:
Paulékaité, Rasa Leijting -
(2001)
*Intentional Identity and the Edelberg Asymmetry.*
[Report]

MoL-2001-06:
Ragetli, Jon
(2001)
*Towards Concept-based Structuring of Electronic Information.*
[Report]

MoL-2001-07:
Rodenhäuser, Ben
(2001)
*Updating Epistemic Uncertainty: an essay in the logic of information change.*
[Report]

DS-2001-07:
Sasaki, Katsumi
(2001)
*Logics and Provability.*
Doctoral thesis, University of Amsterdam.

DS-2001-08:
Tamminga, Allard
(2001)
*Belief Dynamics. (Epistemo)logical Investigations.*
Doctoral thesis, University of Amsterdam.

MoL-2001-10:
Vavassori, Marcello
(2001)
*Isn't my question a real question? A Pragmatic Approach to Polar Questions.*
[Report]