コンピュータサイエンスにおける様相論理
書籍情報
発売日 : 2022年01月20日
著者／編集 : 鹿島 亮
出版社 : 森北出版
発行形態 : 単行本
書籍説明
内容紹介
モデル検査、プログラム検証…計算機科学で重要な論理の数学的な基礎を理解する。証明体系の完全性、計算可能性、ゲーム意味論の妥当性の丁寧な証明を掲載！
目次
第1章 準備：命題論理
第2章 K
第3章 CTL（計算木論理）
第4章 様相ミュー計算
第5章 PDL（命題動的論理）
第6章 ホーア論理
第2章 K
第3章 CTL（計算木論理）
第4章 様相ミュー計算
第5章 PDL（命題動的論理）
第6章 ホーア論理
著者情報
鹿島 亮
東京工業大学准教授 博（理）
鹿島, 亮
