"Kento Takagi","Studies on Propositional Connectives in Classical and Intuitionistic Logics",,,,,,,2022,Sept.
"Kento Takagi","Studies on Propositional Connectives in Classical and Intuitionistic Logics",,,,,,,2022,Sept.
"Kento Takagi","Studies on Propositional Connectives in Classical and Intuitionistic Logics",,,,,,,2022,Sept.
"Kento Takagi,Ryo Kashima","On the completeness and the decidability of strictly monadic second‐order logic",,"Mathematical Logic Quarterly",,"Vol. 66","No. 4","pp. 438-447",2020,
"Kento Takagi,Ryo Kashima","On the Completeness and the Decidability of Strictly Monadic Second-Order Logic",,"Research Reports on Mathematical and Computing Sciences","Department of Mathematical and Computing Sciences Tokyo Institute of Technology",,,,2019,Apr.
"高木研斗,鹿島亮","狭義単項二階述語論理の完全性について","日本数学会2019年会","日本数学会2019年度年会 数学基礎論および歴史分科会講演アブストラクト",,,,"p. 35",2019,Mar.