静岡大学 · 理学部 · 教授

研究キーワード非古典論理・Kripke意味論・Predicate・(mathematical・logic)・Discrete・mathematics

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• 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(共著)

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

• 公式プロフィール