Kawano Tomoaki 河野友亮

Researcher Number	00837586
Affiliation (Current)	2026: 神奈川大学, 情報学部, 助教
Affiliation (based on the past Project Information) *help	2023 – 2024: 神奈川大学, 情報学部, 助教 2020 – 2022: 東京工業大学, 情報理工学院, 研究員
Review Section/Research Field	Principal Investigator Basic Section 60010:Theory of informatics-related
Keywords	Principal Investigator 量子力学 / 観測者の知識 / 様相 / 完全性 / シークエント計算 / エンタングルメント / 論理演算子 / 二項関係 / 複数粒子 / 量子観測理論 … More / 確率過程 / 内積 / ヒルベルト空間 / 量子情報科学 / 演繹体系の完全性 / 論理の意味論 / 論理モデル / 演繹体系 / 量子論理 / 様相論理 / 数理論理学 Less

Research Projects
(1 results)
Research Products
(18 results)

A modal logical construction of quantum logic that adds the missing conceptsPrincipal Investigator
- Principal Investigator
  
  Kawano Tomoaki
- Project Period (FY)
  2020 – 2024
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Kanagawa University
  Tokyo Institute of Technology

All 2025 2024 2023 2022 2021 2020

All Journal Article Presentation

[Journal Article] Nested-sequent Calculus for Modal Logic MB2024
- Author(s)
  Kawano Tomoaki
- Journal Title
  
  Electronic Proceedings in Theoretical Computer Science
  
  Volume: 415 Pages: 33-47
- DOI
  10.4204/eptcs.415.7
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K19740
[Journal Article] Quantum Logic for Observation of Physical Quantities2022
- Author(s)
  Tomoaki Kawano
- Journal Title
  
  Dynamic Logic. New Trends and Applications
  
  Volume: なし Pages: 90-105
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K19740
[Journal Article] Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic2022
- Author(s)
  Naosuke Matsuda, Kento Takagi, Tomoaki Kawano
- Journal Title
  
  Notre Dame Journal of Formal Logic
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K19740
[Journal Article] 射影観測による状態の変化を導入した動的認識論理について2021
- Author(s)
  河野　友亮
- Journal Title
  
  第1回量子ソフトウェア研究発表会予稿集
  
  Volume: -
- Data Source
  KAKENHI-PROJECT-20K19740
[Journal Article] Sequent Calculi for Orthologic with Strict Implication2021
- Author(s)
  Tomoaki Kawano
- Journal Title
  
  Bulletin of the Section of Logic
  
  Volume: －
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K19740
[Presentation] 数理論理学における量子論理について2025
- Author(s)
  河野友亮
- Organizer
  日本数学会　年会
- Invited
- Data Source
  KAKENHI-PROJECT-20K19740
[Presentation] 対称性を満たすフレームに対応する nested sequent について2025
- Author(s)
  河野友亮
- Organizer
  科学基礎論夏のセミナー2025
- Data Source
  KAKENHI-PROJECT-20K19740
[Presentation] Dynamic Extended Quantum Logic with Properties of the Inner Product2024
- Author(s)
  Tomoaki Kawano
- Organizer
  AWPL 2024: The 6th Asian Workshop on Philosophical Logic
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K19740
[Presentation] 確率値を導入した量子動的様相論理について2023
- Author(s)
  河野友亮
- Organizer
  第三十四回 ALGI 代数，論理，幾何と情報科学研究集会
- Data Source
  KAKENHI-PROJECT-20K19740
[Presentation] Abstract Model and Deduction System for Dynamic Epistemic Quantum Logic2023
- Author(s)
  Tomoaki Kawano
- Organizer
  20th International Conference on Quantum Physics and Logic (QPL 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K19740
[Presentation] The Simple Model and the Deduction System for Dynamic Epistemic Quantum Logic2022
- Author(s)
  Tomoaki Kawano
- Organizer
  SOCREAL 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K19740
[Presentation] Abstract Model and Deduction System for Logic of Multiple Agent in Quantum Physics2022
- Author(s)
  Tomoaki Kawano
- Organizer
  LATD 2022: Logic, Algebra, & Truth Degrees
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K19740
[Presentation] The Simple Model and the Deduction System for Dynamic Epistemic Quantum Logic2021
- Author(s)
  Tomoaki Kawano
- Organizer
  NCMPL2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K19740
[Presentation] 複数観測者のための量子動的認識論理2021
- Author(s)
  Tomoaki Kawano
- Organizer
  SLACS(記号論理と情報科学研究集会)2021
- Data Source
  KAKENHI-PROJECT-20K19740
[Presentation] Quantum Logic for Observation of Physical Quantities2021
- Author(s)
  Tomoaki Kawano
- Organizer
  AQIS2021
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K19740
[Presentation] 命題記号を様相記号に持つ論理について2020
- Author(s)
  河野　友亮
- Organizer
  ALGI28 代数、論理、幾何と情報科学研究集会
- Data Source
  KAKENHI-PROJECT-20K19740
[Presentation] 命題記号を様相記号に持つ論理について2020
- Author(s)
  河野　友亮
- Organizer
  56 回MLG 数理論理学研究集会
- Data Source
  KAKENHI-PROJECT-20K19740
[Presentation] 射影観測による状態の変化を導入した動的認識論理について2020
- Author(s)
  河野　友亮
- Organizer
  第1回量子ソフトウェア研究発表会
- Data Source
  KAKENHI-PROJECT-20K19740

Kawano Tomoaki 河野 友亮

Research Projects

Research Products

A modal logical construction of quantum logic that adds the missing conceptsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Journal Article] Nested-sequent Calculus for Modal Logic MB2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Quantum Logic for Observation of Physical Quantities2022

Author(s)

Journal Title

Data Source

[Journal Article] Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic2022

Author(s)

Journal Title

Data Source

[Journal Article] 射影観測による状態の変化を導入した動的認識論理について2021

Author(s)

Journal Title

Data Source

[Journal Article] Sequent Calculi for Orthologic with Strict Implication2021

Author(s)

Journal Title

Data Source

[Presentation] 数理論理学における量子論理について2025

Author(s)

Organizer

Data Source

[Presentation] 対称性を満たすフレームに対応する nested sequent について2025

Author(s)

Organizer

Data Source

[Presentation] Dynamic Extended Quantum Logic with Properties of the Inner Product2024

Author(s)

Organizer

Data Source

[Presentation] 確率値を導入した量子動的様相論理について2023

Author(s)

Organizer

Data Source

[Presentation] Abstract Model and Deduction System for Dynamic Epistemic Quantum Logic2023

Author(s)

Organizer

Data Source

[Presentation] The Simple Model and the Deduction System for Dynamic Epistemic Quantum Logic2022

Author(s)

Organizer

Data Source

[Presentation] Abstract Model and Deduction System for Logic of Multiple Agent in Quantum Physics2022

Author(s)

Organizer

Data Source

[Presentation] The Simple Model and the Deduction System for Dynamic Epistemic Quantum Logic2021

Author(s)

Organizer

Data Source

[Presentation] 複数観測者のための量子動的認識論理2021

Author(s)

Organizer

Data Source

[Presentation] Quantum Logic for Observation of Physical Quantities2021

Author(s)

Organizer

Data Source

[Presentation] 命題記号を様相記号に持つ論理について2020

Author(s)

Organizer

Data Source

[Presentation] 命題記号を様相記号に持つ論理について2020

Author(s)

Organizer

Data Source

[Presentation] 射影観測による状態の変化を導入した動的認識論理について2020

Author(s)

Kawano Tomoaki 河野友亮