このページのリンク

利用統計

  • このページへのアクセス:2回

  • 貸出数:0回
    (1年以内の貸出数:0回)

<図書>
First steps in modal logic

責任表示 Sally Popkorn
データ種別 図書
出版者 Cambridge ; New York : Cambridge University Press
出版年 1994
本文言語 英語
大きさ xiii, 314 p. : ill. ; 24 cm
概要 This is a graduate-level text for a first course in propositional modal logic. It is written from the semantical point of view rather than the more usual proof theoretic approach, and the book covers ...ll basic material including the propositional languages, the semantics and correspondence results, and proof systems and completeness results--as well as some topics not usually covered in a modal logic course, such as bisimulation. Important features of the book are the many exercises and extensive set of solutions that are included.続きを見る

所蔵情報


理系図1F 開架 068252195006805 410.96/P 81 1994

理系図 自動書庫 050211997003598 410.96/P 81/50970359 1994

書誌詳細

別書名 異なりアクセスタイトル:1st steps in modal logic
一般注記 Bibliography: p. 311-314
著者標目 *Popkorn, Sally
件 名 LCSH:Modality (Logic)
分 類 LCC:QA9.46
DC20:511.3
書誌ID 1001063512
ISBN 052146482X
NCID BA23716399
巻冊次 ISBN:052146482X
登録日 2009.09.17
更新日 2009.11.02

類似資料