Advances in intensional logic /
Intensional logics have their origin and use in research areas ranging from linguistics, cognitive science, and artificial intelligence to philosophy and computer science. This volume presents an up-to-date account of current trends in intensional logic. Consisting of 9 original research papers prec...
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht ; Boston :
Kluwer Academic Publishers,
[1997]
|
| Series: | Applied logic series ;
v. 7. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | Intensional logics have their origin and use in research areas ranging from linguistics, cognitive science, and artificial intelligence to philosophy and computer science. This volume presents an up-to-date account of current trends in intensional logic. Consisting of 9 original research papers preceded by a survey of recent developments, the volume highlights recent advances in a number of interdisciplinary areas, including traditional philosophical concerns about correct descriptions and abstract objects; the use of intensional languages as descriptive tools for finite graphs; proof-theoretical considerations; general strategies of 'modalizing' calculi usually perceived to be non-modal; and mathematical foundations of intensional logics. The book is aimed at graduate students and researchers in pure and applied logic. |
|---|---|
| Physical Description: | 1 online resource (xiv, 291 pages) : illustrations. |
| Bibliography: | Includes bibliographical references and indexes. |
| ISBN: | 9789401588799 (electronic bk.) 9401588791 (electronic bk.) |