自然言語の形式意味論
人工知能における知識と信念の論理
文法の獲得および進化・変化に関する研究
知識・信念・時間および否定の論理の研究
文法理論による音楽の解析