日本大学 · 理工学部

研究关键词中間論理・数理論理学・非古典論理・完全性・カット除去定理・様相論理・強完全性・Kripke

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

• Kripke incompleteness of predicate extentions of Gabbay-de Jongh's logic of the finite binary trees.2002 · 筆頭著者
• Kripke incompleteness of some predicate extensions of cofinal subframe logics.2000
• Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster2000 · Studia Logica, 2000年, 査読有り, 通常論文
• Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding property.1998 · Bulletin of Section of Logic., 1998年, 査読有り, 通常論文

• 官方个人主页