Diamonds and defaults : studies in pure and applied intensional logic /
The papers collected in this volume, most of them derived from presentations at the Amsterdam Seminar on Intensional Logic, report recent work in pure and applied intensional logic, and are written by researchers from philosophical and mathematical logic, artificial intelligence and computational li...
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht ; Boston :
Kluwer Academic Publishers,
[1993]
|
| Series: | Synthese library ;
v. 229. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | The papers collected in this volume, most of them derived from presentations at the Amsterdam Seminar on Intensional Logic, report recent work in pure and applied intensional logic, and are written by researchers from philosophical and mathematical logic, artificial intelligence and computational linguistics. Most of the contributions deal with modal or temporal logic, either as a topic or as a tool. Another major theme in the book may be described as `representing changing information'. The papers constitute an important collection, addressing issues that have received a good deal of attention in recent years. The volume is aimed at researchers and students in logic, both pure and applied, and artificial intelligence. It is also of interest to philosophers and computational linguists. |
|---|---|
| Item Description: | "Published under the auspices of the Foundation of Logic, Language and Information." "Papers presented at a Seminar on Intensional Logic held at the University of Amsterdam during the period September 1990-May 1991"--Pref. |
| Physical Description: | 1 online resource (ix, 388 pages) |
| Production Credits: | "Published under the auspices of the Foundation of Logic, Language and Information.". |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 9789401582421 (electronic bk.) 9401582424 (electronic bk.) |