Logical syntax / Johan van BenthemType-shifting rules and the semantics of interrogatives / Jeroen Groenendijk, Martin StokhofFrame representations and discourse representations / Renate BartschUnique normal forms for Lambda calculus with surjective pairing / Jan Willem Klop, Roel de VrijerPolyadic quantifiers / Johan van BenthemTraditional logicians and De Morgan's example / Víctor Sánchez ValenciaCategorial grammar and type theory / Johan van BenthemThe construction of properties under perspectives / Renate BartschType change in semantics: the scope of quantification and coordination / Herman HendriksTemporal adverbials in the two track theory of time / Eleonore OversteegenA blissymbolics translation program / Anneke KleppeA mathematical model for the cat framework of Eurotra / Theo M.V. JanssenTenses, aspects and their scopes in discourse / Renate BartschSemantic parallels in natural language and computation / Johan van BenthemLogical constants across varying types / Johan van BenthemExpressiveness and completeness of an interval tense logic / Yde VenemaAlgorithmic information theory / Michiel van LambalgenGoing partial in montague grammar / Reinhard MuskensITLI prepublication seriesITLI prepublication seriesOn the early history of intuitionistic logic / A.S. TroelstraThe arithmetical fragment of Martin-Löf's type theories with weak S-elimination / Marco SwaenLifshitz' realizability / Jaap van OostenProvability logics for relative interpretability / Dick de Jongh, Frank VeltmanRemarks on intuitionism and the philosophy of mathematics / A.S. TroelstraAnnual report / Institute for Language, Logic and Information, University of AmsterdamThe axiomatization of randomness / Michiel van Lambalgen→S⇋Completeness and bounded arithmetic / Rineke VerbruggeRosser orderings and free variables / Dick de Jongh, Franco MontagnaExtending the lambda calculus with surjective pairing is conservative / Roel de VrijerExplicit fixed points for interpretability logic / Dick de Jongh, Albert VisserTwo-dimensional modal logics : for relational algebras and temporal logic of intervals / Yde VenemaDynamic predicate logic : towards a compositional, non-representational semantics of discourse / Jeroen Groenendijk, Martin StokhofIntensional Lambek calculi : theory and application / Andreja PrijtateljModal logic as a theory of information / Johan van BenthemLanguage in action / Johan van BenthemThe fine-structure of categorial semantics / Johan van BenthemIsomorphisms and non-isomorphisms of graph models / Harold SchellinxProvable fixed points in →IDO+O1⇋ / Alessandra CarboneInvestigations into classical linear logic / Dirk Roorda