GAINA Daniel ＧＡＩＮＡＤａｎｉｅｌ

… Alternative Names

Gaina Daniel GAINA Daniel

Less

Researcher Number	80595778
Other IDs
Affiliation (Current)	2025: 九州大学, マス・フォア・インダストリ研究所, 准教授
Affiliation (based on the past Project Information) *help	2021 – 2023: 九州大学, マス・フォア・インダストリ研究所, 准教授 2020: 九州大学, マス・フォア・インダストリ研究所, 助教 2015: 北陸先端科学技術大学院大学, ソフトウェア検証研究センター, 助教
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / Basic Section 12030:Basic mathematics-related Except Principal Investigator Software
Keywords	Principal Investigator hybrid systems / reconfigurable systems / theorem proving / concurrency / Maude / calculi / transition algebra / universal logic / algebraic specification / proof theory … More / model theory / omitting types theorem / Robinson Consistency / stratified institutions / dynamic logics / hybrid logics / reconfiguration paradigm / interpolation / omitting types / compactness / completeness / forcing / institution / dynamic logic / hybrid logic … More Except Principal Investigator 定理証明 / CafeOBJ / 証明スコア / 代数仕様 / ソフトウェア工学 / 形式手法 / 仕様記述・仕様検証 Less

A theorem prover for the correct development of reconfigurable systemsPrincipal Investigator
- Principal Investigator
  
  GAINA Daniel
- Project Period (FY)
  2023 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kyushu University
Mathematical foundations for the reconfiguration paradigmPrincipal Investigator
- Principal Investigator
  
  Gaina Daniel
- Project Period (FY)
  2020 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Kyushu University
Development of the Innovative Specification Verification System based on Proof Scores
- Principal Investigator
  
  FUTATSUGI Kokichi
- Project Period (FY)
  2011 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (S)
- Research Field
  
  Software
- Research Institution
  Japan Advanced Institute of Science and Technology

All 2024 2023 2022 2021 2020 2015 2014 2013 2012 Other

All Journal Article Presentation

[Journal Article] Forcing, Transition Algebras, and Calculi2024
- Author(s)
  Go Hashimoto, Daniel Gaina, Ionut Tutu
- Journal Title
  
  Proceedings of ICALP 2024
  
  Volume: -
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K11048
[Journal Article] Omitting types theorem in hybrid dynamic first-order logic with rigid symbols2023
- Author(s)
  GAINA Daniel、BADIA Guillermo、KOWALSKI Tomasz
- Journal Title
  
  Annals of Pure and Applied Logic
  
  Volume: 174 Issue: 3 Pages: 103212-103212
- DOI
  10.1016/j.apal.2022.103212
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K03718
[Journal Article] Robinson consistency in many-sorted hybrid first-order logics2022
- Author(s)
  GAINA Daniel, BADIA Guillermo, KOWALSKI Tomasz
- Journal Title
  
  Proceedings of the Advances in Modal Logic, AiML 2022
  
  Volume: 14 Pages: 407-428
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K03718
[Journal Article] Lindstrom’s theorem, both syntax and semantics free2021
- Author(s)
  Gaina Daniel、Kowalski Tomasz
- Journal Title
  
  Journal of Logic and Computation
  
  Volume: First-view Issue: 5 Pages: 1-37
- DOI
  10.1093/logcom/exab073
- Data Source
  KAKENHI-PROJECT-20K03718
[Journal Article] Fraisse-Hintikka theorem in institutions2020
- Author(s)
  Gaina Daniel、Kowalski Tomasz
- Journal Title
  
  Journal of Logic and Computation
  
  Volume: 30 Issue: 7 Pages: 1377-1399
- DOI
  10.1093/logcom/exaa042
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K03718
[Journal Article] Stability of termination and sufficient-completeness under pushouts via amalgamation2020
- Author(s)
  Gaina Daniel、Nakamura Masaki、Ogata Kazuhiro、Futatsugi Kokichi
- Journal Title
  
  Theoretical Computer Science
  
  Volume: 848 Pages: 82-105
- DOI
  10.1016/j.tcs.2020.09.024
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11842, KAKENHI-PROJECT-20K03718
[Journal Article] Forcing and Calculi for Hybrid Logics2020
- Author(s)
  Gaina Daniel
- Journal Title
  
  Journal of the ACM
  
  Volume: 67 Issue: 4 Pages: 1-55
- DOI
  10.1145/3400294
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K03718
[Journal Article] Proving Sufficient Completeness of Constructor-based Algebraic Specifications2015
- Author(s)
  Masaki Nakamura, Daniel Gaina, Kazuhiro Ogata and Kokichi Futatsugi
- Journal Title
  
  Springer Lecture Notes in Electrical Engineering (Advances in Computer Science and Ubiquitous Computing)
  
  Volume: 373 Pages: 15-21
- DOI
  10.1007/978-981-10-0281-6_3
- ISBN
  9789811002809, 9789811002816
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Foundations of Logic Programming in Hybridised Logics2015
- Author(s)
  Daniel Gaina
- Journal Title
  
  Springer Lecture Notes in Computer Science (Recent Trends in Algebraic Development Techniques)
  
  Volume: 9463 Pages: 69-89
- DOI
  10.1007/978-3-319-28114-8_5
- ISBN
  9783319281131, 9783319281148
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] 構成子に基づく順序ソートパラメータ化仕様の十分完全性について2015
- Author(s)
  中村正樹，ガイナダニエルミルチェア，緒方和博，二木厚吉
- Journal Title
  
  電子情報通信学会，信学技報
  
  Volume: vol.114, no.510, SS2014-55 Pages: 1-6
- Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Initial semantics in logics with constructors2015
- Author(s)
  Daniel Gaina, Kokichi Futatsugi
- Journal Title
  
  Journal of Logic and Computation
  
  Volume: 25 (1) Issue: 1 Pages: 95-116
- DOI
  10.1093/logcom/exs044
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] On Automation of OTS/CafeOBJ Method2014
- Author(s)
  Daniel Gaina, Dorel Lucanu, Kazuhiro Ogata, Kokichi Futatsugi
- Journal Title
  
  Specification, Algebra, and Software, LNCS, Springer
  
  Volume: 8373 Pages: 578-602
- DOI
  10.1007/978-3-642-54624-2_29
- ISBN
  9783642546235, 9783642546242
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Forcing, Downward Lowenheim-Skolem and Omitting Types Theorems, Institutionally2014
- Author(s)
  Daniel Gaina
- Journal Title
  
  Logica Universalis
  
  Volume: 8 (3-4) Issue: 3-4 Pages: 469-498
- DOI
  10.1007/s11787-013-0090-0
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Constructor-Based Inductive Theorem Prover2013
- Author(s)
  Daniel Gaina, Min Zhang, Yuki Chiba, Yasuhito Arimoto
- Journal Title
  
  Proc. of the 5th International Conference on Algebra and Coalgebra in Computer Science (5th CALCO), LNCS 8089, Springer
  
  Volume: - Pages: 328-333
- DOI
  10.1007/978-3-642-40206-7_26
- ISBN
  9783642402050, 9783642402067
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Interpolation in logics with constructors2013
- Author(s)
  Daniel Gaina
- Journal Title
  
  Theoretical Computer Science (TCS)
  
  Volume: 474 Pages: 46-59
- DOI
  10.1016/j.tcs.2012.12.002
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Constructor-based Logics2012
- Author(s)
  Daniel Gaina, Kokichi Futatsugi, Kazuhiro Ogata
- Journal Title
  
  The Journal of Universal Computer Science (J.UCS)
  
  Volume: 18(16) Pages: 2204-2233
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Journal Article] Principles of proof scores in CafeOBJ2012
- Author(s)
  Kokichi Futatsugi, Daniel Gaina, Kazuhiro Ogata
- Journal Title
  
  Theoretical Computer Science (TCS)
  
  Volume: 464 Pages: 90-112
- DOI
  10.1016/j.tcs.2012.07.041
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23220002
[Presentation] Horn clauses in Hybrid-Dynamic Quantum Logic2023
- Author(s)
  GAINA Daniel
- Organizer
  Cracow Logic Conference (CLoCk)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K03718
[Presentation] Stability of termination under pushouts via amalgamation2022
- Author(s)
  Daniel Gaina
- Organizer
  Australian and New Zealand Industrial and Applied Mathematical Conference (ANZIAM 2022)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K03718
[Presentation] Stability of termination under pushouts via amalgamation2022
- Author(s)
  GAINA Daniel
- Organizer
  Australian and New Zealand Industrial and Applied Mathematics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K03718
[Presentation] Robinson consistency in many-sorted hybrid first-order logics2022
- Author(s)
  GAINA Daniel
- Organizer
  Advances in Modal Logic, AiML 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K03718
[Presentation] Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols2021
- Author(s)
  Daniel Gaina
- Organizer
  Mathematical Society of Japan, Autumn Meeting 2021
- Data Source
  KAKENHI-PROJECT-20K03718
[Presentation] Stability of termination under pushouts via amalgamation2021
- Author(s)
  Daniel Gaina
- Organizer
  31st Seminar on Algebra, Logic and Geometry in Informatics (ALGI 2021)
- Data Source
  KAKENHI-PROJECT-20K03718
[Presentation] Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols2021
- Author(s)
  Daniel Gaina
- Organizer
  The Australasian Association for Logic Conference
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K03718
[Presentation] Forcing and Calculi for Hybrid Logics2020
- Author(s)
  Daniel Gaina
- Organizer
  Logic and Geometry in Informatics (ALGI)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K03718
[Presentation] Forcing and its applications in hybrid-dynamic logics2020
- Author(s)
  Daniel Gaina
- Organizer
  Australasian Logic Group
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K03718
[Presentation] Sufficient completeness of parameterized specifications in CafeOBJ
- Author(s)
  Masaki Nakamura, Daniel Gaina, Kazuhiro Ogata, Kokichi Futatsugi
- Organizer
  12th Asian Symposium on Programming Languages and Systems, APLAS 2014
- Place of Presentation
  Singapore, the Republic of Singapore
- Year and Date
  2014-11-17 – 2014-11-19
- Data Source
  KAKENHI-PROJECT-23220002

1. FUTATSUGI Kokichi (50251971)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
2. OGATA KAZUHIRO (30272991)

# of Collaborated Projects: 1 results

# of Collaborated Products: 6 results
3. AOKI TOSHIAKI (20313702)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. NAKAMURA MASAKI (40345658)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
5. CHIBA YUKI (10509756)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
6. SEINO TAKAHIRO (10397226)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. PREINING Norbert (60571247)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. 溝口佳寛 (80209783)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

GAINA Daniel ＧＡＩＮＡ Ｄａｎｉｅｌ

Gaina Daniel GAINA Daniel

Research Projects

Research Products

Co-Researchers

A theorem prover for the correct development of reconfigurable systemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Mathematical foundations for the reconfiguration paradigmPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Development of the Innovative Specification Verification System based on Proof Scores

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Forcing, Transition Algebras, and Calculi2024

Author(s)

Journal Title

Data Source

[Journal Article] Omitting types theorem in hybrid dynamic first-order logic with rigid symbols2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Robinson consistency in many-sorted hybrid first-order logics2022

Author(s)

Journal Title

Data Source

[Journal Article] Lindstrom’s theorem, both syntax and semantics free2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Fraisse-Hintikka theorem in institutions2020

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Stability of termination and sufficient-completeness under pushouts via amalgamation2020

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Forcing and Calculi for Hybrid Logics2020

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Proving Sufficient Completeness of Constructor-based Algebraic Specifications2015

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Foundations of Logic Programming in Hybridised Logics2015

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] 構成子に基づく順序ソートパラメータ化仕様の十分完全性について2015

Author(s)

Journal Title

Data Source

[Journal Article] Initial semantics in logics with constructors2015

Author(s)

Journal Title

DOI

Data Source

[Journal Article] On Automation of OTS/CafeOBJ Method2014

Author(s)

Journal Title

GAINA Daniel ＧＡＩＮＡＤａｎｉｅｌ