2006-02-28から1日間の記事一覧

■

久しぶりに自分の仕事のできる日。真理公理についてレジュメ作成の続き。Etchemendyの"View of model theoretic semantics"におけるcontingent性の表現が鍵になるようだ。