
... メインだし 6 は Part 2 への導入なので飛ばしたのは 7 だけですが。 この節は first-order modal logic の Kripke-completeness について……なのですが、どうやら constant domain semantics で Kripke-complete になるやつはあまりないようです。 ...
March 8th, 2010 in
|

興味のある人は滅多にいないでしょうが、真面目に調べたので自分用にメモ。 直観主義 様相論理の birelational Kripke semantics では ◇ の解釈のしかたに何通りかのバリエーションがあります。これまでに見たことがあってすぐに思い出せるのは
March 8th, 2010 in
|

... ジャッケンドフの提唱する「概念意味論」(Conceptual Semantics; CS) が簡潔に解説されています. なお,この論文の内容 ... 1999. Reprinted in S. Davis and B. S. Gillon, eds., Semantics: A Reader , 322-345. New York: Oxford University Press ...
March 8th, 2010 in
|

... That tell me nothing Ohohohoh give me the words Give me the words That tell me everything In a manner of speaking Semantics won't do In this life that we live we only make do And the way that we feel Might have to be sacrificed So in ...
March 8th, 2010 in
|

少し時間ができたので "Handbook of Modal Logic" 再開。 9.1 は言葉の準備。なんか de Bruijn level っぽい表記を導入している様子。で自由 変数 が高々 n 個の term/formula を n-term/n-formula と呼ぶ、と。簡単に言ってしまうとそれだけのことのような。
March 8th, 2010 in
|