Entries from 2009-10-09 to 1 day
間がちょっと飛んで part 2 の途中、Section 8 から。Section 5 は参考文献リストがメインだし 6 は Part 2 への導入なので飛ばしたのは 7 だけですが。この節は first-order modal logic の Kripke-completeness について……なのですが、どうやら constant d…
間がちょっと飛んで part 2 の途中、Section 8 から。Section 5 は参考文献リストがメインだし 6 は Part 2 への導入なので飛ばしたのは 7 だけですが。この節は first-order modal logic の Kripke-completeness について……なのですが、どうやら constant d…