modal logic, dynamic logic

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

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

以下が成り立つ

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

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

参考

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

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