佐野勝彦

サノカツヒコ | Sano Katsuhiko

所属機関・部署：
職名：教授
ホームページURL (1件)： https://scholar.google.co.jp/citations?user=eJ9SSCEAAAAJ&hl=ja

研究分野 (3件)：知能情報学 , 情報学基礎論 , 哲学、倫理学

研究キーワード (5件)：ハイブリッド論理 , 動的認識論理 , アラン・チューリング , 非古典論理 , 様相論理

競争的資金等の研究課題 (7件)：

全件表示

論文 (81件)：

Toyooka, M., Sano, K. Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation. Studia Logica. 2024. To appear
Sizhuo Liu, Katsuhiko Sano. Non-labelled Sequent Calculi of Public Announcement Expansions of K45 and S5. Logic, Rationality, and Interaction. 2023. 190-206
Masanobu Toyooka, Katsuhiko Sano. Semantic Incompleteness of del Cerro and Herzig's Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic. The Australasian Journal of Logic. 2023. 20. 3. 397-411
Ryo Murai, Katsuhiko Sano. Intuitionistic Public Announcement Logic with Distributed Knowledge. Studia Logica. 2023
Youan Su, Katsuhiko Sano. A First-Order Expansion of Artemov and Protopopescu’s Intuitionistic Epistemic Logic. Studia Logica. 2023

書籍 (2件)：

学歴 (3件)：

学位 (2件)：

経歴 (9件)：

全件表示

所属学会 (4件)：

応用哲学会 , 日本数学会 , 科学基礎論学会 , 日本科学哲学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

佐野 勝彦