Workshop 2日目、

本日はT氏及びL氏。どちらも興味深かったです。L氏の話は、その意味論が実数上の位相空間にちょうどなるように、様相論理の公理を考える、というもの。M氏が質問で指摘していたように、ファジイ論理でも真理値を使用してある種の様相operatorを導入することができるので、もしかしたら両者の話はどこかでoverlapしているのかもしれない（し、していて欲しい）。
生協で昼食を食べ、M氏からシエナのサッカー事情について聞く。午後は研究室の一隅を借りて本を読む（あまり関係がないが、O先生のグループの図書室には「藤田省三著作集」が並んでいたりした）。夕方、T氏・K氏と連れだってG氏のお宅へ。会議参加者のほとんどが参加してホームパーティー、楽しく時を過ごす。パーティーゲームとして「マフィア」（「人狼査問」と同じルール）が白熱。23時にホテルへ。この夜は、T氏の部屋がツインなので、そちらに同室させてもらうことになった。二人で500mlビールを6缶明け、25時半に寝る。