Professor Dr J.F.A.K. van Benthem has received the 1996 Spinoza Award, an annual award to honour outstanding scientific merit and to stimulate innovative future research. from the jury report: `Van Benthem has positioned logic as an interdisciplinary science par excellence ... It is through his work that logic has acquired a bridge-function between alpha and gamma sciences on the one side and beta sciences on the other ... Van Benthem is a stimulating and innovative researcher, which explains his great attraction to young researchers. Under his inspirational guidance 38 promovendi from the Netherlands and abroad have finished their theses. In view of Van Benthem's innovative powers and the high level of his research, a number of initiatives are to be expected from him that will further strengthen the Dutch position of logic, more especially so in connection with the formal study of natural language.'

• I/Constraints on Denotations.- 1 / Determiners.- 2 / Quantifiers.- 3 / All Categories.- 4 / Conditionals.- 5 / Tense and Modality.- 6 / Natural Logic.- II/Dynamics of Interpretation.- 7 / Categorial Grammar.- 8 / Semantic Automata.- III/Methodology of Semantics.- 9 / Logical Semantics as an Empirical Science.- 10/ The Logic of Semantics.- References.- Index of Names.- Index of Subjects.

Professor Dr J.F.A.K. van Benthem has received the 1996 Spinoza Award, an annual award to honour outstanding scientific merit and to stimulate innovative future research. from the jury report: `Van Benthem has positioned logic as an interdisciplinary science par excellence ... It is through his work that logic has acquired a bridge-function between alpha and gamma sciences on the one side and beta sciences on the other ... Van Benthem is a stimulating and innovative researcher, which explains his great attraction to young researchers. Under his inspirational guidance 38 promovendi from the Netherlands and abroad have finished their theses. In view of Van Benthem's innovative powers and the high level of his research, a number of initiatives are to be expected from him that will further strengthen the Dutch position of logic, more especially so in connection with the formal study of natural language.'

• I/Constraints on Denotations.- 1 / Determiners.- 2 / Quantifiers.- 3 / All Categories.- 4 / Conditionals.- 5 / Tense and Modality.- 6 / Natural Logic.- II/Dynamics of Interpretation.- 7 / Categorial Grammar.- 8 / Semantic Automata.- III/Methodology of Semantics.- 9 / Logical Semantics as an Empirical Science.- 10/ The Logic of Semantics.- References.- Index of Names.- Index of Subjects.

Professor Dr J.F.A.K. van Benthem has received the 1996 Spinoza Award, an annual award to honour outstanding scientific merit and to stimulate innovative future research. from the jury report: `Van Benthem has positioned logic as an interdisciplinary science par excellence ... It is through his work that logic has acquired a bridge-function between alpha and gamma sciences on the one side and beta sciences on the other ... Van Benthem is a stimulating and innovative researcher, which explains his great attraction to young researchers. Under his inspirational guidance 38 promovendi from the Netherlands and abroad have finished their theses. In view of Van Benthem's innovative powers and the high level of his research, a number of initiatives are to be expected from him that will further strengthen the Dutch position of logic, more especially so in connection with the formal study of natural language.'

• I/Constraints on Denotations.- 1 / Determiners.- 2 / Quantifiers.- 3 / All Categories.- 4 / Conditionals.- 5 / Tense and Modality.- 6 / Natural Logic.- II/Dynamics of Interpretation.- 7 / Categorial Grammar.- 8 / Semantic Automata.- III/Methodology of Semantics.- 9 / Logical Semantics as an Empirical Science.- 10/ The Logic of Semantics.- References.- Index of Names.- Index of Subjects.