様相論理 - mrsekut-p

様相論理

modal logic, dynamic logic

様相記号を持つ論理の総称

様相論理は完全であり、決定可能

クリプキ構造

以下が成り立つ

$ \square(P\rightarrow Q)\rightarrow(\square P\rightarrow\square Q)

$ \square(P\rightarrow Q)\rightarrow(◇$ P\rightarrow◇$ Q)

https://gyazo.com/060ed0e69509abc1ec2e161f74b680f8

参考

/mrsekut-book-4007305803/099 (3.1 命題様相論理)〜

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

/mrsekut-book-4535608148/163 (第4章様相論理)

『論理学をつくる』 p.304~

https://ccvanishing.hateblo.jp/entry/2024/10/08/005209