ILLC Publications, All Series, 1986

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