古典述語論理と様相論理の関連性
https://www.youtube.com/watch?v=Gq2LBQ9xzD0
https://gyazo.com/e2c53755342a7380d79b8ba0f0b2006d
様相論理式を述語論理式へ翻訳出来る
https://gyazo.com/d0f6d2eef2f0ec0785aa134a352bfcf0
https://gyazo.com/5eb7afedec6cc5ca82d0ea939eb97e9a
https://gyazo.com/13ae0d70334feaab7ad6e88b02ca3c65
https://www.youtube.com/watch?v=YuUbg2R44sw&t=10s
命題論理は決定可能
大雑把に考えれば有限の$ n個の命題変項の組み合わせは高々$ 2^n個
有限なので虱潰しに頑張れば決定可能である
一方，述語論理は無限のモデルを持つ可能性がある
有限モデル性が無い
有限の時間で真偽を判定できない（そういうアルゴリズムを考えることは出来ない）
様相論理は実効的有限モデルを持つ
https://gyazo.com/2109b632df2add184054567c4c1619d2
論理演算子の世界分岐
https://gyazo.com/f27b06ba38bc31c905d2162409d5f308
様相演算子の世界分岐
高々有限なので頑張って虱潰しで決定可能