Shizuoka University · Faculty of Science · 教授

Research keywords非古典論理・Kripke意味論・Predicate・(mathematical・logic)・Discrete・mathematics

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

• Axiomatizing distance logics
• Bounded Interpersonal Inferences and Decision Making(共著)
• Hallden-completeness in super-intuitionistic predicate logics
• Epistemic Logic of Shallow Depths and Game Theoretical Applications(共著)

• 非古典述語論理のための代数的意味論の再構築
• 多様相論理の総合的研究とゲーム理論への応用
• 非古典述語論理のための代数的意味論の再構築
• 非古典述語論理のための代数的意味論の再構築

• Official profile