コンピュータサイエンスにおける様相論理 の商品レビュー

鹿島亮(著者)

2022/01/23

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