ILLC Scientific Publications
----------------------------

This document contains the titles of the reports that were published
by the Institute for Logic, Language and Computation (ILLC) this year.
All ILLC reports are available from the ILLC bureau:

ILLC Bureau
University of Amsterdam
Plantage Muidergracht 24
NL-1018 TV Amsterdam
The Netherlands

Many reports are also electronically available,
by WWW at http://www.illc.uva.nl/Publications and
or FTP at ftp://ftp.science.uva.nl/pub/theory/illc/researchreports/
The ILLC bureau may be contacted by email, at illc@science.uva.nl

Reports are numbered Series-Year-Number, where `Series' is one of
PP = Prepublication Series
MoL = Master of Logic Thesis

----------------------------------------------------------------------

Report PP-2003-01
Title: A Note on Modeling Theories
Author: Johan van Benthem

Report PP-2003-02
Title: Structural Properties of Dynamic Reasoning
Author: Johan van Benthem

Report PP-2003-03
Title: Is There Still Logic in Bolzano's Key?
Author: Johan van Benthem

Report PP-2003-04
Title: The Epistemic Logic of IF Games
Author: Johan van Benthem

Report PP-2003-05
Title: What Logic Games are Trying to Tell Us
Author: Johan van Benthem

Report PP-2003-06
Title: Rational Dynamics and Epistemic Logic in Games
Author: Johan van Benthem

Report PP-2003-07
Title: 'One is a Lonely Number': on the Logic of Communication
Author: Johan van Benthem

Report PP-2003-08
Title: Categorial Grammar at a Cross-Roads
Author: Johan van Benthem

Report PP-2003-09
Title: Conditional Probability and Update Logic
Author: Johan van Benthem

Report PP-2003-10
Title: Tableaux for Quantified Hybrid Logic
Author: Patrick Blackburn, Maarten Marx

Report PP-2003-11
Title: Silver Measurability and its Relation to other Regularity Properties
Author: J\"org Brendle, Lorenz Halbeisen, Benedikt L\"owe

Report PP-2003-12
Title: The Pointwise View of Determinacy: Arboreal Forcings, Measurability
and Weak Measurability
Author: Benedikt L\"owe

Report PP-2003-13
Title: Canonical varieties with no canonical axiomatisation
Author: Ian Hodkinson, Yde Venema

Report PP-2003-14
Title: A Hierarchy of norms defined via Blackwell games
Author: Benedikt L\"owe

Report PP-2003-15
Title: Stone Coalgebras
Author: Clemens Kupke, Alexander Kurz, Yde Venema

Report PP-2003-16
Title: The Pragmatic Dimension of Indefinites
Author: Paul Dekker

Report PP-2003-17
Title: Extending ILM with an operator for $\Sigma_1$-ness
Author: Evan Goris

Report PP-2003-18
Title: The Simulation Technique and its Consequences for Infinitary
Combinatorics under the Axiom of Blackwell Determinacy
Author: Benedikt L\"owe

Report PP-2003-19
Title: Determinacy for infinite games with more than two players with
preferences
Author: Benedikt L\"owe

Report PP-2003-20
Title: The Categorial Fine-Structure of Natural Language
Author: Johan van Benthem

Report PP-2003-21
Title: Logic and the Dynamics of Information
Author: Johan van Benthem

Report PP-2003-22
Title: What One May Come to Know
Author: Johan van Benthem

Report PP-2003-23
Title: Optimal Interpolation in ALC
Author: Stefan Schlobach

Report PP-2003-24
Title: Monotonic Modal Logics
Author: Helle Hvid Hansen

Report PP-2003-25
Title: All normal extensions of S5-squared are finitely axiomatizable
Author: Nick Bezhanishvili, Ian Hodkinson

Report PP-2003-26
Title: Erdös graphs resolve Fine's canonicity problem
Author: R. Goldblatt, I. Hodkinson, Y. Venema

Report PP-2003-27
Title: Explaining New Phenomena in Terms of Previous Phenomena
Author: Rens Bod

Report MoL-2003-01
Title: Some Intuitionistic Provability and Preservativity Logics (and their
interrelations)
Author: Chunlai Zhou

Report MoL-2003-02
Title: A Study of Stemming Effects on Information Retrieval in Bahasa
Indonesia
Author: Fadillah Tala

Report MoL-2003-03
Title: A Combined System for Update Logic and Belief Revision
Author: Guillaume Aucher

Report MoL-2003-04
Title: Source Code Retrieval using Conceptual Graphs
Author: Gilad Mishne