YAPC::Hakodate 2024 で様相論理について話してきました - チェシャ猫の消滅定理

2024/10/08 6 users YAPC CFP 消滅定理 チェシャ猫 様相論理

こんにちは、チェシャ猫です。 先日開催された YAPC::Hakodate 2024 で、様相論理について登壇してきました。公募 CFP 枠です。 fortee.jp しばらく後に録画アーカイブも公開される予定です。 質問への回答 当日は、ありがたいことに会場で何名かの方が質問を出してくれました。回答をまとめておきます。 EG φ の検査ア... 続きを読む

数学的基礎を徹底解説！ ――近刊『コンピュータサイエンスにおける様相論理』まえがき公開｜森北出版｜note

2022/01/18 10 users 近刊 まえがき 森北出版 様相論理 Note

2022年1月下旬発行予定の新刊書籍、『コンピュータサイエンスにおける様相論理』のご紹介です。 同書の「まえがき」の一部を、発行に先駆けて公開します。 ＊＊＊ 〈 本書の目的 〉 様相論理とは、たとえば「真の可能性がある」「将来にわたってずっと偽」「それが真であることを花子は知っている」のように、単に真か偽... 続きを読む

Alloy でクリプキ可能世界意味論！ - はてな使ったら負けだと思っている

2011/08/30 13 users Alloy 様相論理 論理学 意味論 記録

Alloy, 論理学, 様相論理Alloy でクリプキの可能世界意味論をエンコードしてみた記録。論理学をきちんと勉強した訳じゃないので、もし誤りがあったら是非教えてください。 可能世界意味論と云うのは、偉大な論理学者ソール・クリプキが、なんと若干高校生の頃に思い付いた様相論理の意味論です。様相論理って云うのは、通常の命題論理に、「□P (必然的に P)」とか「◇P (Pであることが可能)」と云う二... 続きを読む