コンピュータサイエンスにおける様相論理 = Modal Logics in Computer Science

• 資料種別: 図書
• ISBN: 978-4-627-85641-7
• タイトル: コンピュータサイエンスにおける様相論理
• タイトルよみ: コンピュータ サイエンス ニ オケル ヨウソウ ロンリ
• 著者・編者: 鹿島亮 著
• 著者標目: 著者 ： 鹿島, 亮 カシマ, リョウ ( 00541947 )典拠
• 出版事項: 東京 : 森北出版 (出版)
• 出版年月日等: 2022.1
• 出版年（W3CDTF）: 2022
• 数量: 165p
• 大きさ: 22cm
• 並列タイトル等: Modal Logics in Computer Science
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 表現種別: テキスト
• 機器種別: 機器不用
• キャリア種別: 冊子
• 件名標目: 情報科学 ジョウホウカガク ( 00575008 )典拠; 様相 (論理学) ヨウソウ (ロンリガク) ( 00574372 )典拠
• NDC10版: 007 : 情報学．情報科学
• NDLC: M121
• 対象利用者: 一般
• 書誌注記: 文献あり 索引あり
• 入手条件・定価: 3200円
• 所蔵機関: 国立国会図書館
• 請求記号: M121-M456
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 031906470; http://id.ndl.go.jp/bib/031906470
• 全国書誌番号: 23642471
• トーハンMARC番号: 34295399
• 目録規則: 日本目録規則2018年版
• 整理区分コード: 111

• 要約等: 計算木論理，様相ミュー計算，命題動的論理など，コンピュータサイエンスで重要な論理について，基礎をわかりやすく説明する．（提供元: 出版情報登録センター（JPRO））
• 著者紹介: 鹿島 亮 東京工業大学准教授 博（理）（提供元: 出版情報登録センター（JPRO））

目次

第1章　準備：命題論理

第2章　K

第3章　CTL（計算木論理）

第4章　様相ミュー計算

第5章　PDL（命題動的論理）