MIYAZAKI Yutaka 宮崎裕

… Alternative Names

宮崎裕ミヤザキユタカ

Less

Researcher Number	40374607
Affiliation (Current)	2025: 大阪経済法科大学, 法学部, 教授 2025: 大阪経済法科大学, 公私立大学の部局等, 教授
Affiliation (based on the past Project Information) *help	2012 – 2013: 大阪経済法科大学, 公私立大学の部局等, 准教授 2011: 北海道大学, 大学院・情報科学研究科, 博士研究員 2011: 大阪経済法科大学, 教養部, 准教授 2010: 人獣共通感染症リサーチセンター, 博士研究員 2009: 北海道大学, 大学院・情報科学研究科, 博士研究員 … More 2007: 北大, 情報科学研究科 2006: 北海道大学, 大学院情報科学研究科, COE研究員 2006: 北海道大学, 大学院情報科学研究科, 博士研究員 2005: 北海道大学, 大学院・情報科学研究科, COE研究員 Less
Review Section/Research Field	Principal Investigator Fundamental theory of informatics Except Principal Investigator General mathematics (including Probability theory/Statistical mathematics) / Computer system/Network
Keywords	Principal Investigator Unification Problem / Graph theory / Modal logic / Hybrid logic / Hybrid Logic / WQO theory / Graph Theory / Modal Logic / Hybris Logic / 数理論理学 … More / splitting / incompleteness / Kripke / KTB / 様相論理 … More Except Principal Investigator Substructural logics / Information Structures / Universal algebra / Algebraic logic / Algebra / Mathematical logic / 情報基礎 / 部分構造論理 / 情報構造 / universal algebra / 代数論理学 / 代数学 / 数理論理学 / スマートオブジェクト / フェデレーション / ユビキタスコンピューティング Less

New development of Kripke semantics by combining with graph theoryPrincipal Investigator
- Principal Investigator
  
  MIYAZAKI Yutaka
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Osaka University of Economics and Law
Establishing the federation model of smart objects and the creation of its novel applications
- Principal Investigator
  
  TANAKA Yuzuru
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Computer system/Network
- Research Institution
  Hokkaido University
様相論理KTBとそれを含む様相論理がなす束の構造に関する研究Principal Investigator
- Principal Investigator
  
  宮崎裕
- Project Period (FY)
  2006 – 2007
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Hokkaido University
Advances in Logics by Algebraic Methods
- Principal Investigator
  
  ONO Hiroakira
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Japan Advanced Institute of Science and Technology

All 2014 2013 2012 2011 2007 2006 2005

All Journal Article Presentation

[Journal Article] A splitting logic in NEXT(KTB)2007
- Author(s)
  Yutaka Miyazaki
- Journal Title
  
  Studia Logica (印刷中)
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] Kripke incomplete logics containing KTB2007
- Author(s)
  Yutaka Miyazaki
- Journal Title
  
  Studia Logica 85
  
  Pages: 311-326
- Data Source
  KAKENHI-PROJECT-18700002
[Journal Article] A splitting logic in NEXT (KTB)2007
- Author(s)
  Yutaka Miyazaki
- Journal Title
  
  Studia Logica 85
  
  Pages: 399-412
- Data Source
  KAKENHI-PROJECT-18700002
[Journal Article] Some properties of orthologics2005
- Author(s)
  Yutaka Miyazaki
- Journal Title
  
  Studia Logica 80
  
  Pages: 75-93
- NAID
  110000570603
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] Some properties of orthologics2005
- Author(s)
  宮崎裕
- Journal Title
  
  Studia Logica 80
  
  Pages: 75-93
- NAID
  110000570603
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] Normal modal logics containing KTB with some finiteness conditions2005
- Author(s)
  Y. Miyazaki
- Journal Title
  
  Advances in Modal Logic 5
  
  Pages: 171-190
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] Normal modal logics containing KTB with some finiteness conditions2005
- Author(s)
  Yutaka Miyazaki
- Journal Title
  
  Advances in Modal Logic 5
  
  Pages: 171-190
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] Some properties of orthologics2005
- Author(s)
  Y. Miyazaki
- Journal Title
  
  Studia Logica 80
  
  Pages: 75-93
- NAID
  110000570603
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] Normal modal logics containing KTB with some finiteness conditions2005
- Author(s)
  宮崎裕
- Journal Title
  
  Advances in Modal Logic 5
  
  Pages: 171-190
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] Graph theory and modal logic2014
- Author(s)
  Yutaka Miyazaki
- Organizer
  Application of Algebra XVIII
- Place of Presentation
  Zakopane, Poland
- Data Source
  KAKENHI-PROJECT-23500028
[Presentation] Graph theory and modal logic2014
- Author(s)
  Yutaka Miyazaki
- Organizer
  Application of Algebra in Logic and Computer Science XVIII
- Place of Presentation
  in Zakopane, Poland
- Year and Date
  2014-05-13
- Data Source
  KAKENHI-PROJECT-23500028
[Presentation] WQO theory in Modal Logic2013
- Author(s)
  Yutaka Miyazaki
- Organizer
  Application of Algebra in Logic and Computer Science XVII
- Place of Presentation
  Zakopane, Poland
- Data Source
  KAKENHI-PROJECT-23500028
[Presentation] Graph theory and modal logic2013
- Author(s)
  Yutaka Miyazaki
- Organizer
  BLAST2013
- Place of Presentation
  Chapman University, California
- Data Source
  KAKENHI-PROJECT-23500028
[Presentation] WQO theory in Modal Logic2013
- Author(s)
  Yutaka Miyazaki
- Organizer
  Application of Algebra in Logic and Computer Science XVII
- Place of Presentation
  in Zakopane, Poland
- Year and Date
  2013-05-06
- Data Source
  KAKENHI-PROJECT-23500028
[Presentation] Graph theory and modal logic2013
- Author(s)
  Yutaka Miyazaki
- Organizer
  BLAST2013
- Place of Presentation
  in Chapman University, California, US
- Year and Date
  2013-08-06
- Data Source
  KAKENHI-PROJECT-23500028
[Presentation] Unification problems in Not-weakly-transitive modal logics2012
- Author(s)
  Yutaka Miyazaki
- Organizer
  Application of Algebra in Logic and Computer Science XVI
- Place of Presentation
  in Zakopane, Poland
- Year and Date
  2012-02-28
- Data Source
  KAKENHI-PROJECT-23500028
[Presentation] Unification Problems in Not-weakly-transitive modal logics2012
- Author(s)
  Yutaka Miyazaki
- Organizer
  Asian Workshop on Philosophical Logic
- Place of Presentation
  Jaist, Ishikawa, Japan
- Data Source
  KAKENHI-PROJECT-23500028
[Presentation] Unification Problems in Not-weakly-transitive modal logics2012
- Author(s)
  Yutaka Miyazaki
- Organizer
  Application of Algebra in Logic and Computer Science XVI
- Place of Presentation
  Zakopane, Poland
- Data Source
  KAKENHI-PROJECT-23500028
[Presentation] Unification problems in Non-weakly-transitive modal logics2012
- Author(s)
  Yutaka Miyazaki
- Organizer
  Asian Workshop on Philosophical Logic
- Place of Presentation
  in Jaist Ishikawa, Japan
- Year and Date
  2012-02-16
- Data Source
  KAKENHI-PROJECT-23500028
[Presentation] Some properties of orthomodular lattices2011
- Author(s)
  Yutaka Miyazaki
- Organizer
  Summer School in General Algebra and Ordered Sets
- Place of Presentation
  in Svratka, Czech Republic
- Year and Date
  2011-09-05
- Data Source
  KAKENHI-PROJECT-23500028
[Presentation] Some properties of orthomodular lattices2011
- Author(s)
  Yutaka Miyazaki
- Organizer
  Summer School on General Algebra and Ordered Sets
- Place of Presentation
  Svratka, Czech Republic
- Data Source
  KAKENHI-PROJECT-23500028
[Presentation] Kripke incompleteness phenomena in NEXT(KTB)2006
- Author(s)
  Y. Miyazaki
- Organizer
  Trends in Logic IV
- Place of Presentation
  Torun, Poland
- Year and Date
  2006-09-03
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] Kripke incompleteness phenomena in NEXT(KTB)2006
- Author(s)
  宮崎裕
- Organizer
  Trends in Logic IV
- Place of Presentation
  Torurn, Poland
- Year and Date
  2006-09-03
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] The structure of the lattice NEXT(KTB)2005
- Author(s)
  宮崎裕
- Organizer
  Trends in Logic III
- Place of Presentation
  Warsaw/Ruciane-Nida, Poland
- Year and Date
  2005-09-26
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540109

1. TANAKA Yuzuru (60002309)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
2. YOSHIDA Tetsuya (80294164)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. LUNZER Aran (50374608)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. SJOBERGH Jonas (40585519)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. ITO Kimihito (60396314)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. ONO Hiroakira (90055319)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. GALATOS Nikolaos (70422665)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. TANAKA Yoshihito (70320132)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. SEKI Takahiro (30380546)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. ボウフェリックス (00397233)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

MIYAZAKI Yutaka 宮崎 裕

宮崎 裕 ミヤザキ ユタカ

Research Projects

Research Products

Co-Researchers

New development of Kripke semantics by combining with graph theoryPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Establishing the federation model of smart objects and the creation of its novel applications

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Advances in Logics by Algebraic Methods

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] A splitting logic in NEXT(KTB)2007

Author(s)

Journal Title

Data Source

[Journal Article] Kripke incomplete logics containing KTB2007

Author(s)

Journal Title

Data Source

[Journal Article] A splitting logic in NEXT (KTB)2007

Author(s)

Journal Title

Data Source

[Journal Article] Some properties of orthologics2005

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Some properties of orthologics2005

Author(s)

Journal Title

NAID

Description

Data Source

[Journal Article] Normal modal logics containing KTB with some finiteness conditions2005

Author(s)

Journal Title

Description

Data Source

[Journal Article] Normal modal logics containing KTB with some finiteness conditions2005

Author(s)

Journal Title

Data Source

[Journal Article] Some properties of orthologics2005

Author(s)

Journal Title

NAID

Description

Data Source

[Journal Article] Normal modal logics containing KTB with some finiteness conditions2005

Author(s)

Journal Title

Description

Data Source

[Presentation] Graph theory and modal logic2014

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] Graph theory and modal logic2014

Author(s)

Organizer

MIYAZAKI Yutaka 宮崎裕

宮崎裕ミヤザキユタカ