𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Exploring Logical Dynamics, Johan van Benthem

✍ Scribed by Lawrence S. Moss

Book ID
110261636
Publisher
Springer Netherlands
Year
2000
Tongue
English
Weight
19 KB
Volume
9
Category
Article
ISSN
0925-8531

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Language in action: Categories, lambdas
Language in action: Categories, lambdas and dynamic logic Johan van Benthem
✍ David Israel πŸ“‚ Article πŸ“… 1993 πŸ› Elsevier Science 🌐 English βš– 526 KB

## Background to the book For about two thousand years, logic and logicians were stuck on the problem of multiple quantification. Aristotle and his successors had systematized large parts of monadic quantification theory (as we now call it), but very little progress had been made on extending the

Handbook of logic and language: Edited b
Handbook of logic and language: Edited by Johan van Benthem and Alice ter Muelen. Elsevier/MIT Press, Amsterdam/Cambridge, MA. (1997). 1247 pages. $150.00
πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 110 KB

Handbook of Loaic and Lanauaoe. Edited by Johan van Benthem and Alice ter Muelen. Eisevier/MIT Press, Amsterdam/Cambridge, MA. (1997). 1247 pages. $150.00. Contents: Preface. List of contributors. Abbreviations of journal titles. Part I. Frameworks. Introduction. 1. Montague grammar (B.H. Partee wit