000 | 01071camuu2200301 a 4500 | |
001 | 000000923741 | |
005 | 20120828134424 | |
008 | 960725s1996 ne a b 001 0 eng | |
010 | ▼a 96027559 | |
020 | ▼a 044481714X (Elsevier) | |
020 | ▼a 0262220539 (MIT Press) | |
040 | ▼a DLC ▼c DLC ▼d 244002 ▼d 211009 | |
049 | 0 | ▼l 151045928 |
050 | 0 0 | ▼a QA76.9.N38 ▼b H36 1996 |
082 | 0 0 | ▼a 401/.5113 ▼2 22 |
084 | ▼a 401.5113 ▼2 DDCK | |
090 | ▼a 401.5113 ▼b H236 | |
245 | 0 0 | ▼a Handbook of logic and language / ▼c edited by Johan van Benthem, Alice ter Meulen. |
260 | ▼a Amsterdam ; ▼a New York : ▼b Elsevier ; ▼a Cambridge, Mass. : ▼b MIT Press, ▼c 1996. | |
300 | ▼a xxiii, 1247 p. : ▼b ill. ; ▼c 25 cm. | |
504 | ▼a Includes bibliographical references and indexes. | |
650 | 0 | ▼a Natural language processing (Computer science). |
650 | 0 | ▼a Logic, Symbolic and mathematical. |
650 | 0 | ▼a Semantics. |
650 | 0 | ▼a Linquistics. |
700 | 1 | ▼a Benthem, J. F. A. K. van, ▼d 1949-. |
700 | 1 | ▼a Meulen, Alice G. B. ter. |
Holdings Information
No. | Location | Call Number | Accession No. | Availability | Due Date | Make a Reservation | Service |
---|---|---|---|---|---|---|---|
No. 1 | Location Main Library/Donation Books Coner/ | Call Number 401.5113 H236 | Accession No. 111222830 | Availability Available | Due Date | Make a Reservation | Service |
No. 2 | Location Sejong Academic Information Center/Humanities 1/ | Call Number 401.5113 H236 | Accession No. 151045928 | Availability Available | Due Date | Make a Reservation | Service |
No. | Location | Call Number | Accession No. | Availability | Due Date | Make a Reservation | Service |
---|---|---|---|---|---|---|---|
No. 1 | Location Main Library/Donation Books Coner/ | Call Number 401.5113 H236 | Accession No. 111222830 | Availability Available | Due Date | Make a Reservation | Service |
No. | Location | Call Number | Accession No. | Availability | Due Date | Make a Reservation | Service |
---|---|---|---|---|---|---|---|
No. 1 | Location Sejong Academic Information Center/Humanities 1/ | Call Number 401.5113 H236 | Accession No. 151045928 | Availability Available | Due Date | Make a Reservation | Service |
Contents information
Table of Contents
CONTENTS Preface = ⅴ List of Contributors = xiii Abbreviations of Journal Titles = xxi Part 1. Frameworks = 1 Introduction = 3 1. Montague Grammar / B.H. Partee ; H.L.W. Hendriks ; T. Janssen Commentator = 5 2. Categorial type logics / M. Moortgat ; G. Morrill Commentator = 93 3. Representing discourse in context / J. van Eijck ; H. Kamp ; C.F.M. Vermeulen Commentator = 179 4. Situation theory / J. Seligman ; LS Moss = 239 5. GB theory : An introduction / J. Higginbotham ; E. Stabler Commentators ; M. Kracht Commentators = 311 6. Game-theoretical semantics / J. Hintikka ; G Sandu ; W. Hodges Commentator = 361 Part 2. General Topics = 411 Introduction = 413 7. Compositionality / Barbara H. Partee with an appendix ; T.M.V Janssen ; T. Zimmermann Commentators ; E Goguen Commentators = 417 8. Feature logics / W.C. Rounds ; P Blackburn Commentator = 475 9. Types / R. Turner ; S. Feferman Commentator = 535 10. Dynamics / R. Muskens ; J. van Benthem ; A Visser ; D. Mc Carty Commentator = 587 11. Partiality / J.E. Fenstad ; L. Humberstone Commentator = 649 12. Mathematical linguistics and proof theory / W. Buszkowski = 683 13. Formal learning theory / D. Osherson ; D. de Jongh ; E. Martin ; S. Weinstein = 737 14. Nonmonotonicity in linguistics / R.H. Thomason = 777 Part 3. Descriptive Topics = 833 Introduction = 835 15. Generalized quantifiers in linguistics and logic / E.L. Keenan ; D. Westerst$$\mathop a\limits^\circ $$ hl ; J. van der Does Commentator = 837 16. Temporality / M. Steedman ; A ter Meulen Commentator = 895 17. Presupposition / D.L. Beaver = 939 18. Plurals and collectivity / J.T. LΦnning ; G. Link Commentator = 1009 19. Questions / J. Groenendijk ; M. Stokhof ; J Ginzburg Commentator = 1055 20. Generics and defaults / F.J. Pelletier ; N. Asher = 1125 Glossary = 1179 Author Index = 1215 Subject Index = 1227