講演・口頭発表等

2009年

到達可能関係の推移的閉包を扱う様相論理の完全性

日本数学会数学基礎論分科会講演アブストラクト