2022.4 - 2023.3

Research Presentations 

• L. Pacheco. (and K. Tanaka.) "The alternation hierarchy of the μ-calculus over weakly transitive frames" at 28th Workshop on Logic, Language, Information and Computation

• L. Pacheco. (and K. Yokoyama.) "Determinacy and reflection principles in second-order arithmetic" at Workshop on Reverse Mathematics and its Philosophy 

• 鈴木 悠大 (横山 啓太との共同研究) 「カントール空間の単調作用素の不動点定理と Weihrauch 次数」 SLACS2022

• 鈴木 悠大 (横山 啓太との共同研究) 「不動点定理の複雑さ」 数学・数理科学専攻若手研究者のための異分野・異業種研究交流会2022（研究交流会）

• 鈴木 悠大 (横山 啓太との共同研究) 「Weihrauch次数におけるω-model reflection」 数学基礎論若手の会2022

• L. Pacheco. "The mu-calculus collapses to modal logic over frames of IS5" at 証明論シンポジウム2022

• 鈴木 悠大 "Pseudo-hierarchy method in Weihrauch degrees" at 証明論シンポジウム2022

• 五十里 大将 "Basis theorems and conservation results around RT^2_2" at 証明論シンポジウム2022

• 鈴木 悠大 "Weihrauch次数と逆数学" at 第8回 山陰 基礎論と数学およびその周辺の研究集会

• 鈴木 悠大，横山 啓太 "On the Weihrauch degrees between C_{ω^ω} and ATR at 日本数学会2023年度年会

• L. Pacheco，田中 一之 "Fixed-points in epistemic logic" at 日本数学会2023年度年会

Publications

• PACHECO, Leonardo, LI, Wenjuan, TANAKA, Kazuyuki, “On one-variable fragments of modal mu-calculus”, Proc. of CTFM 2019, World Scientific Publ. (2022), 17-45.

• PACHECO, Leonardo, TANAKA, Kazuyuki,  "The Alternation Hierarchy of the 𝜇-calculus over Weakly Transitive Frames" , international Workshop on Logic, Language, Information, and Computation. Springer, Cham, 2022.