Mendeley出力
＜図書＞
Advances in modal logic
| 責任表示 | edited by Marcus Kracht ... [et al.] |
|---|---|
| シリーズ | CSLI lecture notes ; #87, 119 |
| データ種別 | 図書 |
| 出版情報 | Stanford, Calif. : CSLI Publications , c1998- |
| 本文言語 | 英語 |
| 大きさ | v. : ill. ; 23 cm |
| 概要 | Modal logic originated in philosophy as the logic of necessity and possibility. Now it has reached a high level of mathematical sophistication and has many applications in a variety of disciplines, in...luding theoretical and applied computer science, artificial intelligence, the foundations of mathematics, and natural language syntax and semantics. This volume represents the proceedings of the first international workshop on Advances in Modal Logic, held in Berlin, Germany, October 8-10, 1996. It offers an up-to-date perspective on the field, with contributions covering its proof theory, its applications in knowledge representation, computing and mathematics, as well as its theoretical underpinnings. Modal logic originated in philosophy as the logic of necessity and possibility. Now it has reached a high level of mathematical sophistication and has many applications in a variety of disciplines, including theoretical and applied computer science, artificial intelligence, the foundations of mathematics, and natural language syntax and semantics. This volume represents the proceedings of the first international workshop on Advances in Modal Logic, held in Berlin, Germany, October 8-10, 1996. It offers an up-to-date perspective on the field, with contributions covering its proof theory, its applications in knowledge representation, computing and mathematics, as well as its theoretical underpinnings. Modal Logic, originally conceived as the logic of necessity and possibility, has developed into a powerful mathematical and computational discipline. It is the main source of formal languages aimed at analyzing complex notions such as common knowledge and formal provability. Modal and modal-like languages also provide us with families of restricted description languages for relational and topological structures; they are being used in many disciplines, ranging from artificial intelligence, computer science and mathematics via natural language syntax and semantics to philosophy. This volume presents a broad and up-to-date view of the field, with contributions covering both the foundations of modal logic itself and each of the aforementioned application areas. Complemented with an editorial introduction covering the roots of modal logic, this book is indispensable for any advanced student and researcher in non-classical logic and its applications. Modal Logic, originally conceived as the logic of necessity and possibility, has developed into a powerful mathematical and computational discipline. It is the main source of formal languages aimed at analyzing complex notions such as common knowledge and formal provability. Modal and modal-like languages also provide us with families of restricted description languages for relational and topological structures; they are being used in many disciplines, ranging from artificial intelligence, computer science and mathematics via natural language syntax and semantics to philosophy. This volume presents a broad and up-to-date view of the field, with contributions covering both the foundations of modal logic itself and each of the aforementioned application areas. Complemented with an editorial introduction covering the roots of modal logic, this book is indispensable for any advanced student and researcher in non-classical logic and its applications. 続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
v. 1 : hardback | 理系図1F 開架 | 410.96/Kr 1 | 1998 |
|
026211998002332 |
|
書誌詳細
| 一般注記 | Vol. 1. A selection of papers presented at the first AiML conference held at the Free University of Berlin, Oct. 1996 Vol. 2 edited by Michael Zakharyaschev ... [et al.] Includes bibliographical references and indexes |
|---|---|
| 著者標目 | Kracht, Marcus Zakharyaschev, Michael |
| 件 名 | LCSH:Modality (Logic) -- Congresses 全ての件名で検索 |
| 分 類 | LCC:BC199.M6 DC21:160 |
| 書誌ID | 1001180731 |
| ISBN | 1575861038 |
| NCID | BA36914690 |
| 巻冊次 | v. 1 : hardback ; ISBN:1575861038 v. 1 : pbk ; ISBN:157586102X v. 2 : hardback ; ISBN:1575862719 v. 2 : pbk ; ISBN:1575862727 |
| 登録日 | 2009.09.18 |
| 更新日 | 2009.09.18 |