日本大学 · 理工学部

研究キーワード中間論理・数理論理学・非古典論理・完全性・カット除去定理・様相論理・強完全性・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年, 査読有り, 通常論文

• 公式プロフィール