九州産業大学 · 経済学科/経済学部 · 教授

研究キーワード非古典論理のモデル理論・数理論理学・非古典論理

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

• An omega-rule for the logic of provability and its models2024 · Studia Logica
• An extension of Jónsson-Tarski representation and model existence in predicate non-normal modal logics2022 · Mathematical Logic Quarterly
• Duality for kappa-additive complete atomic modal algebras2021 · Algebra Universalis
• Kripke completeness of strictly positive modal logics over meet-semilattices with operators2019 · The Journal of symbolic logic

• 公式プロフィール