■

某リンク集がぼつぼつと再開されたので、そこから以下を1本DLさせていただきました。

• Jack Copeland　　“Tree Formulations of Tense Logics”,　In B.J. Copeland ed., Logic and Reality: Essays on the Legacy of Arthur Prior, Oxford and New York: Oxford University Press 1996

PS. van Attenさんの文章や、彼とJ. Kennedyさんとの文章を拾い読み、Godelについて調べる。