様相論理 is Fun

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

MENU

2017-06-22から1日間の記事一覧

トートロジーについて

付値を用いた様相論理の意味論を考える. 例えば、事象を表す論理式に対して、その事象が起こる確率を与える付値を考え、具体的には、事象を表す論理式pに対して、その値が1のとき□pが真、その値が0でないとき、♢pが真、と考えたり、あるいは、行為を表す論理…