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

2022/01/18 10 users 近刊 まえがき 森北出版 Note コンピュータサイエンス

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

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

2011/08/30 13 users Alloy 論理学 意味論 記録 勉強

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