学部?大学院／教育
教員紹介
教授
宮崎 裕 MIYAZAKI, Yutaka
教授
宮崎 裕 MIYAZAKI, Yutaka
- 学位
- 博士(情報科学)
- 最終学歴
- 北陸先端科学技術大学院大学情報科学研究科
- 研究分野
- 情報論理学（非古典論理学、様相論理、ユニバーサル代数、計算論、グラフ理論）
- 主な担当科目
- 数理論理学、ソフトウェア論、ハードウェア論
研究活動
研究分野
情報論理学（非古典論理学、様相論理、ユニバーサル代数、計算論、グラフ理論）
所属学会
日本数学会
学会報告
- Yutaka Miyazaki, On the variety of proximity algebras, Applications of Algebra in Logic and Computer Science in Institute of Mathematics and Computer Science of Jan Dlugosz University, Zakopane, Poland, March 2010.
- Yutaka Miyazaki, Unification problems in weakly transitive modal logics , 31st Logic Seminar at RCIS, JAIST in Feb 2011.
- Yutaka Miyazaki, Unification problems in non-weakly transitive modal logics, Applications of Algebra in Logic and Computer Science in Institute of Mathematics and Computer Science of Jan Dlugosz University, Zakopane, Poland, March 2012.
著書?論文
主な論文
- Yutaka Miyazaki, A splitting logic in Next(KTB), Studia Logica 85, 399－412 (2007)
- Tomasz Kowalski, Yutaka Miyazaki, All splitting logics in the lattice Next(KTB), Trends in Logic Vol. 27, 53 ? 67, (2008).
- Yutaka Miyazaki, Every variety of proximity algebras of a finite diameter is locally finite, Proceedings of the 7th Panhellenic Logic Symposium, 132－136, Patras University Press, Patras (2009)
- Yutaka Miyazaki, The structure of the lattice of normal extensions of modal logics with cyclic axioms, Advances in Modal Logic, Vol 11, 489 -- 502, College Publications (2016)
- J. Koussas, T. Kowalski, Y. Miyazaki, M. Stevens, Normal Extensions of KTB of Codimension 3, Advances in Modal Logic Vol.12, 447 ? 458, College Publications (2018).
