View publication by year:
- ITLI-1986-01:
- n.v.t. The Institute of Language, Logic and Information
- ITLI-1986-01:
-
The Institute of Language, Logic and Information
1.Full Text.
- 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
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
- 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-06:
- Johan van Benthem Logical Syntax
- ITLI-1986-06:
-
Johan van Benthem
Logical Syntax
1.Full Text.