汀·克特：“扩充的模态语言的内插性”

本文的主题是寻找基本模态相似型语言带内插性的可表达的、可判定的扩充。扩充的模态语言指基本模态相似型的语言BML加克里普克结构个体状态的名字，这里具体指：可以使用“名字”来指称克里普克模型的个体状态以及带量词的混合逻辑H(E)、H(@)、H(@，↓)、