Entries from 2009-10-02 to 1 day
"Handbook of Modal Logic" の Chapter 9, First-order Modal Logic 読んでみようかなと思いました。Section 2 からが技術的な話。 意味論の定義 この節では、簡単な axiomatization をもつ三種類の意味論を与えています。 constant domain semantics: indiv…
"Handbook of Modal Logic" の Chapter 9, First-order Modal Logic 読んでみようかなと思いました。Section 2 からが技術的な話。 意味論の定義 この節では、簡単な axiomatization をもつ三種類の意味論を与えています。 constant domain semantics: indiv…