Nihon University · Faculty of Science and Engineering

Research keywords中間論理・数理論理学・非古典論理・完全性・カット除去定理・様相論理・強完全性・Kripke

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 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年, 査読有り, 通常論文

• Official profile