コンピュータサイエンスにおける様相論理

著者 : 鹿島亮

• 森北出版 (2022年1月20日発売)

作品紹介・あらすじ

基本となる様相論理Kから始め，コンピュータサイエンス（計算機科学）において重要である，CTL（計算木論理），様相ミュー計算，PDL（命題動的論理）について，その数学的な基礎をわかりやすく，かつ厳密に説明する．
また，様相論理ではないもののPDLとの関係が深く，プログラム検証を行う際に活躍するホーア論理についても詳しく解説する．
各論理については，定義や基本的な定理はもちろん，証明が難解で省略されがちな「証明体系の完全性」「計算可能性」「様相ミュー計算のゲーム意味論の妥当性」の証明も掲載しており，本書一冊で基礎を徹底的に学ぶことができる．

感想・レビュー・書評

[fraserlibさんの感想 · 2022年2月18日]

請求記号　007/Ka 76

[askmtさんの感想 · 2022年1月23日]

[出典]
https://twitter.com/rikoushonotana/status/1482570556641669122
---
書泉グランデMATH【営業時間11時～20時】
@rikoushonotana
1月中旬新刊予定
『コンピュータサイエンスにおける様相論理』鹿島 亮（森北出版）
第1章　準備：命題論理
第2章　K
第3章　CTL（計算木論理）
第4章　様相ミュー計算
第5章　PDL（命題動的論理）
第6章　ホーア論理

[別府さんの感想 · 2022年1月13日]

【書誌情報】
著者：鹿島 亮　　東京工業大学准教授 博（理）
定価：¥ 3,520
ページ：176
判型：A5
ISBN：978-4-627-85641-7
発行年月：2022.01

基本となる様相論理Kから始め，コンピュータサイエンス（計算機科学）において重要である，CTL（計算木論理），様相ミュー計算，PDL（命題動的論理）について，その数学的な基礎をわかりやすく，かつ厳密に説明する．
また，様相論理ではないもののPDLとの関係が深く，プログラム検証を行う際に活躍するホーア論理についても詳しく解説する．
各論理については，定義や基本的な定理はもちろん，証明が難解で省略されがちな「証明体系の完全性」「計算可能性」「様相ミュー計算のゲーム意味論の妥当性」の証明も掲載しており，本書一冊で基礎を徹底的に学ぶことができる．
〈https://www.morikita.co.jp/books/mid/085641〉

【簡易目次】
第1章　準備：命題論理
第2章　K
第3章　CTL（計算木論理）
第4章　様相ミュー計算
第5章　PDL（命題動的論理）
第6章　ホーア論理

著者プロフィール

東京工業大学准教授 博（理）

「2022年 『コンピュータサイエンスにおける様相論理』 で使われていた紹介文から引用しています。」