ITLI prepublication series

A relational formulation of the theory of types / Reinhard Muskensschema:ProductModel A semantical model for integration and modularization of rules / Peter van Emde Boasschema:ProductModel Algorithmic information theory / Michiel van Lambalgenschema:ProductModel Categorial grammar and Lambda calculus / Johan van Benthemschema:ProductModel Categorial grammar and type theory / Johan van Benthemschema:ProductModel Expressiveness and completeness of an interval tense logic / Yde Venemaschema:ProductModel Frame representations and discourse representations / Renate Bartschschema:ProductModel Logical syntax / Johan van Benthemschema:ProductModel Polyadic quantifiers / Johan van Benthemschema:ProductModel Some complete logics for branched time / Instituut voor Taal, Logica en Informatie, Amsterdamschema:ProductModel Temporal adverbials in the two track theory of time / Eleonore Oversteegenschema:ProductModel The construction of properties under perspectives / Renate Bartschschema:ProductModel The Institute for Language, Logic and Information (ITLI)schema:ProductModel Traditional logicians and De Morgan's example / Víctor Sánchez Valenciaschema:ProductModel Type change in semantics: the scope of quantification and coordination / Herman Hendriksschema:ProductModel Type-shifting rules and the semantics of interrogatives / Jeroen Groenendijk, Martin Stokhofschema:ProductModel Unique normal forms for Lambda calculus with surjective pairing / Jan Willem Klop, Roel de Vrijerschema:ProductModel Well-founded time, forward looking operators / Kenneth A. Bowen, Dick H.J. de Jonghschema:ProductModel