研究者情報 - 河野　友亮

（最終更新日：2025-03-14 13:16:27）

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

職種助教

■ 専門分野

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

■ 学位等

博士（理学）

■ 著書・論文歴

1.	論文	Quantum Logic for Observation of Physical Quantities （単著） 2022/07
2.	論文	Quantum Logic for Observation of Physical Quantities. （単著） 2022/07
3.	論文	Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic （共著） 2022/03
4.	論文	Sequent Calculi for Orthologic with Strict Implication Bulletin of the Section of Logic （単著） 2021/09
5.	論文	複数観測者のための量子動的認識論理（単著） 2021/08
6.	論文	Advanced Kripke Frame for Quantum Logic WoLLIC 2018. Lecture Notes in Computer Science. 237-249頁（単著） 2018/07
7.	論文	Labeled Sequent Calculus for Orthologic （単著） 2018/07
8.	その他	Abstract Model and Deduction System for Logic of Multiple Agent in Quantum Physics. （単著） 2022/09
9.	その他	The Simple Model and the Deduction System for Dynamic Epistemic Quantum Logic. （単著） 2022/02
10.	その他	The Simple Model and the Deduction System for Dynamic Epistemic Quantum Logic （単著） 2021/11
11.	その他	命題記号を様相記号に持つ論理について（単著） 2020/09
12.	その他	量子論理と認識論理の組み合わせについて（単著） 2019/12
13.	その他	量子力学における知識の変動の論理（単著） 2019/09
14.	その他	量子論理のモデルとその発展形について（単著） 2019/03
15.	その他	量子論理のフレームにおけるヒルベルト空間の性質（単著） 2018/08
16.	その他	Sequent Calculus for Dynamic Quantum Logic （単著） 2018/06
17.	その他	Quantum logic の意味論とシークエント計算（単著） 2018/03
18.	その他	Dynamic Quantum Logic with Modality for Measurement （単著） 2017/12
19.	その他	Dynamic quantum logicにおける観測の様相記号について（単著） 2017/12
20.	その他	無限の量化を持つ論理について（単著） 2017/12
21.	その他	Dynamic quantum logic における観測の様相記号について（単著） 2017/09
22.	その他	Dynamic quantum logic における量化の種類（単著） 2017/08
23.	その他	Dynamic logic を応用した量子論理のシークエント計算（単著） 2016/09
24.	その他	Dynamic量子論理と通常の量子論理のシークエント計算（単著） 2016/08
25.	その他	量子論理のシークエント計算と意味論（単著） 2016/01
26.	その他	量子論理のシークエント計算と意味論（単著） 2015/12
27.	その他	Minimal quantum logic のシークエント計算とその周辺（単著） 2015/09
28.	その他	Sequent Calculi of Quantum　Logic with Strict Implication （単著） 2015/09
29.	その他	最小量子論理の特殊な含意とカット除去定理について（単著） 2015/08
30.	その他	中間論理CDの補間定理について（単著） 2012/11
31.	その他	論理CDの補間定理について（単著） 2012/09
5件表示
全件表示(31件)

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

2020/04

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