2022/1/20

鹿島亮 著

176ページ

第1章は準備で、

第2章は必読

この本に出てくる他の様相論理は全てKの拡張

第3,4,5章は独立なのでどこから読んでも良い

第6章も独立

5章に付随しつつも、ホーア論理(様相論理ではない)の基本の解説

第1章 準備：命題論理

10頁程度

第2章 K

スクボ読書にしないと読みづらいかもな...

記号や用語の定義関連で

記号の導入など

\mathrm{Lh}(\varphi)

\varphi中の記号の出現数

\mathrm{Sub}(\varphi)

\varphi中の部分論理式の集合

\mathrm{Var}(\varphi)

\varphi中の命題変数の集合

これらは、名称自体は本書特有のものかな？

p.25あたり

詳細に入ると途端に難しくなってきた

全ての証明を自分でやるほどのモチベがないんだよな

ちゃんとやるなら、(様相論理でない)通常の一階述語論理での

モデル、健全性、完全性、コンパクト性、極大無矛盾、、

らへんを復習しないといけないンゴ

いったん続く章の最初の方だけを全部読んでわかった気になって良いかな

第3章 CTL

10種類の様相記号が出てくる

第4章 様相ミュー計算

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

第6章　ホーア論理