様相論理 is Fun

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

MENU

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

進捗管理

ナンセンスに終わる可能性もあるけれども、「付値論としての意味論」の構想について覚え書き ここでは、義務論理(Deontic Logic)のみを念頭に置く。 方針は次の通り。 行為を表す論理式(命題)に対して、真偽値のように、善悪のような値を考える。 ただし…