ITLI prepublication series
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 OversteegenExpressiveness and completeness of an interval tense logic / Yde VenemaAlgorithmic information theory / Michiel van LambalgenSome complete logics for branched time / Instituut voor Taal, Logica en Informatie, AmsterdamThe Institute for Language, Logic and Information (ITLI)Well-founded time, forward looking operators / Kenneth A. Bowen, Dick H.J. de JonghA semantical model for integration and modularization of rules / Peter van Emde BoasCategorial grammar and Lambda calculus / Johan van BenthemA relational formulation of the theory of types / Reinhard Muskens
isPartOf
mainEntity
ITLI prepublication series
author
inLanguage
issn
mainEntityOfPage
name
ITLI prepublication series
publication
sameAs
label
ITLI prepublication series