ILLC Publications, All Series, 1986

These reports are also available from the UvA/DARE server: the page corresponding to the listing below can be found here.


Coding for publications: Series-Year-Number, with DS = Dissertation Series; MoL = Master of Logic Thesis; PP = Prepublication Series (since 1999); X = Technical Notes; CL = Computational Linguistics (up to 1993); CT = Computation and Complexity Theory (up to 1998); LP = Logic, Philosophy and Linguistics (up to 1998); ML = Mathematical Logic and Foundations (up to 1998); ITLI = Instituut voor Taal, Logika en Informatie (up to 1987);

ITLI-1986-06:
Johan van Benthem Logical Syntax.
1.Full Text.
ITLI-1986-05:
Kenneth A. Bowen, Dick de Jongh Some Complete Logics for Branched Time, Part I: Well-founded Time, Forward looking Operators.
1.Full Text.
ITLI-1986-04:
Reinhard Muskens A Relational Formulation of the Theory of Types.
1.Full Text.
ITLI-1986-03:
Johan van Benthem Categorial Grammar and Lambda Calculus.
ITLI-1986-02:
Peter van Emde Boas A Semantical Model for Integration and Modularization of Rules.
ITLI-1986-01:
n.v.t. The Institute of Language, Logic and Information.
1.Full Text.

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X