佐野 勝彦　Pure Completeness in Hybrid Logic
　この発表では Hybrid Logic とよばれる様相論理の一拡張を扱い、特に、クリプキ意味論と位相意味論に対して成立する、一般的な完全性（pure completeness）について紹介したいと思います。

横山 啓太　２階算術における超準解析の扱いとその応用
　２階算術における超準解析の手法の応用は田中により考案され，その応用もいくつか知られている．一方，超準手法を表現する算術の体系 non-standard arithmetic が Kiesler らによって考えられている．ここでは，田中の手法やその応用が記述できるような non-standard arithmetic の２階算術版を考え，さらにそれを２階算術の体系内に翻訳する方法を考える．