Entries from 2009-10-14 to 1 day
興味のある人は滅多にいないでしょうが、真面目に調べたので自分用にメモ。直観主義様相論理の birelational Kripke semantics では ◇ の解釈のしかたに何通りかのバリエーションがあります。これまでに見たことがあってすぐに思い出せるのは の三つ。下の二…
興味のある人は滅多にいないでしょうが、真面目に調べたので自分用にメモ。直観主義様相論理の birelational Kripke semantics では ◇ の解釈のしかたに何通りかのバリエーションがあります。これまでに見たことがあってすぐに思い出せるのは の三つ。下の二…