研究者情報 - 河野　友亮

（最終更新日：2023-04-27 17:55:33）

  カワノ　トモアキ   Kawano Tomoaki
  河野　友亮
   所属   神奈川大学情報学部計算機科学科

職種助教

■ 専門分野

数理論理学, 情報科学, 代数学

■ 学位等

博士（理学）

■ 著書・論文歴

1.	論文	Quantum Logic for Observation of Physical Quantities （単著） 2022/07
2.	論文	Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic （共著） 2022/03
3.	論文	Sequent Calculi for Orthologic with Strict Implication Bulletin of the Section of Logic （単著） 2021/09
4.	論文	Advanced Kripke Frame for Quantum Logic WoLLIC 2018. Lecture Notes in Computer Science. pp.237-249 （単著） 2018/07
5.	論文	Labeled Sequent Calculus for Orthologic （単著） 2018/07

■ 学会発表

1.		Abstract Model and Deduction System for Logic of Multiple Agent in Quantum Physics.
2.		Dynamic logic を応用した量子論理のシークエント計算
3.		Dynamic Quantum Logic with Modality for Measurement
4.		Dynamic quantum logic における観測の様相記号について
5.		Dynamic quantum logicにおける観測の様相記号について
6.		Dynamic quantum logic における量化の種類
7.		Dynamic量子論理と通常の量子論理のシークエント計算
8.		Minimal quantum logic のシークエント計算とその周辺
9.		Quantum Logic for Observation of Physical Quantities.
10.		Quantum logic の意味論とシークエント計算
11.		Sequent Calculi of Quantum　Logic with Strict Implication
12.		Sequent Calculus for Dynamic Quantum Logic
13.		The Simple Model and the Deduction System for Dynamic Epistemic Quantum Logic
14.		The Simple Model and the Deduction System for Dynamic Epistemic Quantum Logic.
15.		中間論理CDの補間定理につい
16.		命題記号を様相記号に持つ論理について
17.		最小量子論理の特殊な含意とカット除去定理について
18.		無限の量化を持つ論理について
19.		複数観測者のための量子動的認識論理
20.		論理CDの補間定理について
21.		量子力学における知識の変動の論理
22.		量子論理のモデルとその発展形について
23.		量子論理のフレームにおけるヒルベルト空間の性質
24.		量子論理のシークエント計算と意味論
25.		量子論理のシークエント計算と意味論
26.		量子論理と認識論理の組み合わせについて
5件表示
全件表示(26件)

■ 研究課題・受託研究・科研費

2020/04

量子論理に不足している概念を追加した論理の様相論理学的構成若手研究