netを見ているともうすぐ出る次の文献の一部がDL可能となっている。以前に見れたのは目次の類いだけだったと思うが…。 Patrick Blackburn, Johan van Benthem and Frank Wolter ed. Handbook of Modal Logic, Elsevier Science, Studies in Logic and Practi…

スターバックスで、先日からの田中先生ゲーデル本を少々読む。ふむふむ。