文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Tara Nicholson
发表
Revisiting completeness for the Kn modal logics: A new proof
Ray E. Jennings, Darko Sarenac, Tara Nicholson, 2000, Log. J. IGPL.