佐野勝彦

サノカツヒコ | Sano Katsuhiko

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

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

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

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

全件表示

論文 (82件)：

Toyooka, M., Sano, K. Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation. Studia Logica. 2024. To appear
Katsuhiko Sano, Dazhu Li, Fenrong Liu. Hybrid Logic of the Hide and Seek Game. Studia Logica. 2024
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

書籍 (2件)：

学歴 (3件)：

学位 (2件)：

経歴 (9件)：

全件表示

所属学会 (4件)：

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

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

佐野 勝彦