宮崎裕 MIYAZAKI Yutaka

研究者番号	40374607
所属 (現在)	2025年度: 大阪経済法科大学, 法学部, 教授 2025年度: 大阪経済法科大学, 公私立大学の部局等, 教授
所属 (過去の研究課題情報に基づく) *注記	2012年度 – 2013年度: 大阪経済法科大学, 公私立大学の部局等, 准教授 2011年度: 北海道大学, 大学院・情報科学研究科, 博士研究員 2011年度: 大阪経済法科大学, 教養部, 准教授 2010年度: 人獣共通感染症リサーチセンター, 博士研究員 2009年度: 北海道大学, 大学院・情報科学研究科, 博士研究員 … もっと見る 2007年度: 北大, 情報科学研究科 2006年度: 北海道大学, 大学院情報科学研究科, COE研究員 2006年度: 北海道大学, 大学院情報科学研究科, 博士研究員 2005年度: 北海道大学, 大学院・情報科学研究科, COE研究員隠す
審査区分/研究分野	研究代表者情報学基礎研究代表者以外数学一般(含確率論・統計数学) / 計算機システム・ネットワーク
キーワード	研究代表者 Unification Problem / Graph theory / Modal logic / Hybrid logic / Hybrid Logic / WQO theory / Graph Theory / Modal Logic / Hybris Logic / 数理論理学 … もっと見る / splitting / incompleteness / Kripke / KTB / 様相論理 … もっと見る研究代表者以外 Substructural logics / Information Structures / Universal algebra / Algebraic logic / Algebra / Mathematical logic / 情報基礎 / 部分構造論理 / 情報構造 / universal algebra / 代数論理学 / 代数学 / 数理論理学 / スマートオブジェクト / フェデレーション / ユビキタスコンピューティング隠す

グラフ理論との融合によるクリプキ意味論の新展開研究代表者
- 研究代表者
  
  宮崎裕
- 研究期間 (年度)
  2011 – 2013
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  大阪経済法科大学
スマートオブジェクトの連携モデルの確立と新奇応用の創成
- 研究代表者
  
  田中譲
- 研究期間 (年度)
  2009 – 2011
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  計算機システム・ネットワーク
- 研究機関
  北海道大学
様相論理KTBとそれを含む様相論理がなす束の構造に関する研究研究代表者
- 研究代表者
  
  宮崎裕
- 研究期間 (年度)
  2006 – 2007
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  北海道大学
代数的方法による論理学の新たな展開
- 研究代表者
  
  小野寛晰
- 研究期間 (年度)
  2005 – 2007
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  北陸先端科学技術大学院大学

すべて 2014 2013 2012 2011 2007 2006 2005

すべて雑誌論文学会発表

[雑誌論文] A splitting logic in NEXT(KTB)2007
- 著者名/発表者名
  Yutaka Miyazaki
- 雑誌名
  
  Studia Logica (印刷中)
- データソース
  KAKENHI-PROJECT-17540109
[雑誌論文] Kripke incomplete logics containing KTB2007
- 著者名/発表者名
  Yutaka Miyazaki
- 雑誌名
  
  Studia Logica 85
  
  ページ: 311-326
- データソース
  KAKENHI-PROJECT-18700002
[雑誌論文] A splitting logic in NEXT (KTB)2007
- 著者名/発表者名
  Yutaka Miyazaki
- 雑誌名
  
  Studia Logica 85
  
  ページ: 399-412
- データソース
  KAKENHI-PROJECT-18700002
[雑誌論文] Some properties of orthologics2005
- 著者名/発表者名
  Yutaka Miyazaki
- 雑誌名
  
  Studia Logica 80
  
  ページ: 75-93
- NAID
  110000570603
- データソース
  KAKENHI-PROJECT-17540109
[雑誌論文] Some properties of orthologics2005
- 著者名/発表者名
  宮崎裕
- 雑誌名
  
  Studia Logica 80
  
  ページ: 75-93
- NAID
  110000570603
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-17540109
[雑誌論文] Normal modal logics containing KTB with some finiteness conditions2005
- 著者名/発表者名
  Y. Miyazaki
- 雑誌名
  
  Advances in Modal Logic 5
  
  ページ: 171-190
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17540109
[雑誌論文] Normal modal logics containing KTB with some finiteness conditions2005
- 著者名/発表者名
  Yutaka Miyazaki
- 雑誌名
  
  Advances in Modal Logic 5
  
  ページ: 171-190
- データソース
  KAKENHI-PROJECT-17540109
[雑誌論文] Some properties of orthologics2005
- 著者名/発表者名
  Y. Miyazaki
- 雑誌名
  
  Studia Logica 80
  
  ページ: 75-93
- NAID
  110000570603
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17540109
[雑誌論文] Normal modal logics containing KTB with some finiteness conditions2005
- 著者名/発表者名
  宮崎裕
- 雑誌名
  
  Advances in Modal Logic 5
  
  ページ: 171-190
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-17540109
[学会発表] Graph theory and modal logic2014
- 著者名/発表者名
  Yutaka Miyazaki
- 学会等名
  Application of Algebra XVIII
- 発表場所
  Zakopane, Poland
- データソース
  KAKENHI-PROJECT-23500028
[学会発表] Graph theory and modal logic2014
- 著者名/発表者名
  Yutaka Miyazaki
- 学会等名
  Application of Algebra in Logic and Computer Science XVIII
- 発表場所
  in Zakopane, Poland
- 年月日
  2014-05-13
- データソース
  KAKENHI-PROJECT-23500028
[学会発表] WQO theory in Modal Logic2013
- 著者名/発表者名
  Yutaka Miyazaki
- 学会等名
  Application of Algebra in Logic and Computer Science XVII
- 発表場所
  Zakopane, Poland
- データソース
  KAKENHI-PROJECT-23500028
[学会発表] Graph theory and modal logic2013
- 著者名/発表者名
  Yutaka Miyazaki
- 学会等名
  BLAST2013
- 発表場所
  Chapman University, California
- データソース
  KAKENHI-PROJECT-23500028
[学会発表] WQO theory in Modal Logic2013
- 著者名/発表者名
  Yutaka Miyazaki
- 学会等名
  Application of Algebra in Logic and Computer Science XVII
- 発表場所
  in Zakopane, Poland
- 年月日
  2013-05-06
- データソース
  KAKENHI-PROJECT-23500028
[学会発表] Graph theory and modal logic2013
- 著者名/発表者名
  Yutaka Miyazaki
- 学会等名
  BLAST2013
- 発表場所
  in Chapman University, California, US
- 年月日
  2013-08-06
- データソース
  KAKENHI-PROJECT-23500028
[学会発表] Unification problems in Not-weakly-transitive modal logics2012
- 著者名/発表者名
  Yutaka Miyazaki
- 学会等名
  Application of Algebra in Logic and Computer Science XVI
- 発表場所
  in Zakopane, Poland
- 年月日
  2012-02-28
- データソース
  KAKENHI-PROJECT-23500028
[学会発表] Unification Problems in Not-weakly-transitive modal logics2012
- 著者名/発表者名
  Yutaka Miyazaki
- 学会等名
  Asian Workshop on Philosophical Logic
- 発表場所
  Jaist, Ishikawa, Japan
- データソース
  KAKENHI-PROJECT-23500028
[学会発表] Unification Problems in Not-weakly-transitive modal logics2012
- 著者名/発表者名
  Yutaka Miyazaki
- 学会等名
  Application of Algebra in Logic and Computer Science XVI
- 発表場所
  Zakopane, Poland
- データソース
  KAKENHI-PROJECT-23500028
[学会発表] Unification problems in Non-weakly-transitive modal logics2012
- 著者名/発表者名
  Yutaka Miyazaki
- 学会等名
  Asian Workshop on Philosophical Logic
- 発表場所
  in Jaist Ishikawa, Japan
- 年月日
  2012-02-16
- データソース
  KAKENHI-PROJECT-23500028
[学会発表] Some properties of orthomodular lattices2011
- 著者名/発表者名
  Yutaka Miyazaki
- 学会等名
  Summer School in General Algebra and Ordered Sets
- 発表場所
  in Svratka, Czech Republic
- 年月日
  2011-09-05
- データソース
  KAKENHI-PROJECT-23500028
[学会発表] Some properties of orthomodular lattices2011
- 著者名/発表者名
  Yutaka Miyazaki
- 学会等名
  Summer School on General Algebra and Ordered Sets
- 発表場所
  Svratka, Czech Republic
- データソース
  KAKENHI-PROJECT-23500028
[学会発表] Kripke incompleteness phenomena in NEXT(KTB)2006
- 著者名/発表者名
  Y. Miyazaki
- 学会等名
  Trends in Logic IV
- 発表場所
  Torun, Poland
- 年月日
  2006-09-03
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17540109
[学会発表] Kripke incompleteness phenomena in NEXT(KTB)2006
- 著者名/発表者名
  宮崎裕
- 学会等名
  Trends in Logic IV
- 発表場所
  Torurn, Poland
- 年月日
  2006-09-03
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17540109
[学会発表] The structure of the lattice NEXT(KTB)2005
- 著者名/発表者名
  宮崎裕
- 学会等名
  Trends in Logic III
- 発表場所
  Warsaw/Ruciane-Nida, Poland
- 年月日
  2005-09-26
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17540109

1. 田中譲 (60002309)

共同の研究課題数: 1件

共同の研究成果数: 0件
2. 吉田哲也 (80294164)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. ランザーアラン (50374608)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. シューベルグヨーナス (40585519)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 伊藤公人 (60396314)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 小野寛晰 (90055319)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. ガラトスニコラオス (70422665)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 田中義人 (70320132)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 関隆宏 (30380546)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. ボウフェリックス (00397233)

共同の研究課題数: 1件

共同の研究成果数: 0件

宮崎 裕 MIYAZAKI Yutaka

研究課題

研究成果

共同研究者

グラフ理論との融合によるクリプキ意味論の新展開研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

スマートオブジェクトの連携モデルの確立と新奇応用の創成

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

様相論理KTBとそれを含む様相論理がなす束の構造に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

代数的方法による論理学の新たな展開

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] A splitting logic in NEXT(KTB)2007

著者名/発表者名

雑誌名

データソース

[雑誌論文] Kripke incomplete logics containing KTB2007

著者名/発表者名

雑誌名

データソース

[雑誌論文] A splitting logic in NEXT (KTB)2007

著者名/発表者名

雑誌名

データソース

[雑誌論文] Some properties of orthologics2005

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Some properties of orthologics2005

著者名/発表者名

雑誌名

NAID

説明

データソース

[雑誌論文] Normal modal logics containing KTB with some finiteness conditions2005

著者名/発表者名

雑誌名

説明

データソース

[雑誌論文] Normal modal logics containing KTB with some finiteness conditions2005

著者名/発表者名

雑誌名

データソース

[雑誌論文] Some properties of orthologics2005

著者名/発表者名

雑誌名

NAID

説明

データソース

[雑誌論文] Normal modal logics containing KTB with some finiteness conditions2005

著者名/発表者名

雑誌名

説明

データソース

[学会発表] Graph theory and modal logic2014

著者名/発表者名

学会等名

発表場所

データソース

[学会発表] Graph theory and modal logic2014

著者名/発表者名

学会等名

発表場所

宮崎裕 MIYAZAKI Yutaka