* このページに掲載している原稿は 速報ファイル です。
* These papers are "flash report".
RIMS Kôkyûroku
No.2233
数理論理学とその応用
Mathematical Logic and its Applications
RIMS 共同研究（公開型）
 　
2022/06/21〜2022/06/24
嘉田　勝
Masaru Kada
　
目　次
　
1. Second-Order Logic and Related Systems : a game-semantical perspective (Mathematical Logic and its Applications)------------------1
　　　　Beijing Institute of Mathematical Sciences and Applications / 東北大学　　　Li Wenjuan / 田中 一之　(Li,Wenjuan / Tanaka,Kazuyuki)
　
2. カリー・ハワード同型と証明の形式化 (数理論理学とその応用)------------------------------------------------------------------------20
　　　　群馬大学　　　藤田 憲悦　(Fujita,Ken-etsu)
　
3. Hrushovskiの強極小構造 (数理論理学とその応用)------------------------------------------------------------------------------------55
　　　　法政大学経営学部　　　池田 宏一郎　(Ikeda,Koichiro)
　
4. 様相ミュー計算のタブロー法の完全性と無限ゲームの決定性について (数理論理学とその応用)--------------------------------------------65
　　　　東京工業大学情報理工学院　　　鹿島 亮　(Kashima,Ryo)
　
5. 連続関数環のLOWENHEIM-SKOLEM-TARSKIの性質 (数理論理学とその応用)-----------------------------------------------------------------82
　　　　早稲田大学基幹理工学部数学科　　　薄葉 季路　(Usuba,Toshimichi)
　
6. 証明可能性述語の様相論理 (数理論理学とその応用)---------------------------------------------------------------------------------105
　　　　神戸大学大学院システム情報学研究科　　　倉橋 太志　(Kurahashi,Taishi)