様相論理 is Fun

様相論理の学習ノートです

MENU

2017-05-08から1日間の記事一覧

ベン図を使って様相論理の意味論を考える話 その2

様相論理の意味論を作るために、前回記事 umemura-wataru.hatenablog.com では、命題論理の真偽値を、ベン図に書き込んだけれども、ベン図を考えることは本質的ではないので、以降は、ベン図を想像するけれども、記述には持ち出さない。 われわれの目標は、…