Diamonds and defaults : studies in pure and applied intensional logic

＜図書＞
Diamonds and defaults : studies in pure and applied intensional logic

責任表示	edited by Maarten de Rijke
シリーズ	Synthese library ; v. 229
データ種別	図書
出版情報	Dordrecht ; Boston : Kluwer Academic Publishers , c1993
本文言語	英語
大きさ	ix, 388 p. : ill. ; 23 cm
概要	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 b... 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. 続きを見る

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		中央図 2C_1‐14 [文/哲学]	哲学/402/601-229	1993		005211997014456		予約・取寄			予約・取寄
		理系図1F 開架	410.1/R 84	1993		068252194000130		予約・取寄			予約・取寄

一般注記	"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 Includes bibliographical references and index
著者標目	Rijke, Maarten de Seminar on Intensional Logic (1990-1991 : University of Amsterdam)
件　名	LCSH:Modality (Logic)
分　類	LCC:QA9.46 DC20:511.3
書誌ID	1000052530
ISBN	0792323424
NCID	BA20693581
巻冊次	ISBN:0792323424
登録日	2009.09.10
更新日	2009.09.17