すべて 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014
すべて 雑誌論文 学会発表 図書
Journal of Logic and Computation
巻: - 号: 2
10.1093/logcom/exad076
巻: - 号: 6 ページ: 1108-1135
10.1093/logcom/exad060
Mathematical Logic Quarterly
巻: - 号: 1 ページ: 37-63
10.1002/malq.202200020
Annals of Pure and Applied Logic
巻: 174 号: 7 ページ: 103271-103271
10.1016/j.apal.2023.103271
Studia Logica
巻: - 号: 5 ページ: 1-30
10.1007/s11225-023-10045-6
Archive for Mathematical Logic
巻: 63 号: 3-4 ページ: 391-403
10.1007/s00153-023-00899-x
巻: 63 号: 1-2 ページ: 1-37
10.1007/s00153-023-00882-6
巻: 173 号: 5 ページ: 103087-103087
10.1016/j.apal.2022.103087
巻: 110 号: 1 ページ: 165-188
10.1007/s11225-021-09957-y
京都大学数理解析研究所講究録
巻: 2233 ページ: 1-18
Notre Dame Journal of Formal Logic
巻: 63 号: 1
10.1215/00294527-2022-0003
The Journal of Symbolic Logic
巻: To appear 号: 4 ページ: 1469-1496
10.1017/jsl.2022.25
The Review of Symbolic Logic
巻: - 号: 1 ページ: 1-28
10.1017/s1755020322000363
巻: 68 号: 3 ページ: 318-345
10.1002/malq.202000077
数学
巻: 73 ページ: 60-87
40022471614
巻: -
巻: 86 号: 3 ページ: 1124-1153
10.1017/jsl.2021.47
巻: 31 号: 7 ページ: 1716-1739
10.1093/logcom/exab046
巻: - 号: 5-6 ページ: 659-678
10.1007/s00153-020-00713-y
巻: 85 号: 3 ページ: 1224-1253
10.1017/jsl.2020.33
巻: - 号: 3 ページ: 597-617
10.1007/s11225-019-09865-2
Symposium on Advances in Mathematical Logic 2018 proceedings
Annals of the Japan Association for Philosophy of Science
130007940567
巻: 170 号: 2 ページ: 163-179
10.1016/j.apal.2018.09.004
巻: 印刷中 号: 7-8 ページ: 953-980
10.1007/s00153-018-0618-3
巻: 83 号: 3 ページ: 1229-1246
10.1017/jsl.2018.27
巻: 106 号: 2 ページ: 219-235
10.1007/s11225-017-9735-y
巻: 印刷中 号: 6 ページ: 1181-1196
10.1007/s11225-017-9782-4
巻: 10 号: 4 ページ: 603-616
10.1017/s1755020317000235
巻: 82 号: 1 ページ: 292-302
10.1017/jsl.2016.19
巻: 2050
巻: 81 号: 3 ページ: 1163-1175
10.1017/jsl.2015.52
巻: （印刷中)
巻: １６７ 号: 2 ページ: 73-94
10.1016/j.apal.2015.10.002
Journal of Philosophical Logic
巻: (印刷中) 号: 4 ページ: 381-398
10.1007/s10992-015-9378-2
巻: (掲載確定) 号: 5 ページ: 999-1017
10.1007/s10992-013-9309-z
