Items where Year is 2001

A

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]

B

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]

C

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

D

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.

G

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]

H

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.

I

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

K

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]

L

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

M

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]

N

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]

P

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]

R

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]

S

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

T

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

V

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