@article{CTT100846452,
  author = {Kento Takagi and Ryo Kashima},
  title = {On the completeness and the decidability of strictly monadic second‐order logic},
  journal = {Mathematical Logic Quarterly},
  year = 2020,
}

@inproceedings{CTT100818802,
  author = {高木研斗 and 鹿島亮},
  title = {狭義単項二階述語論理の完全性について},
  booktitle = {日本数学会2019年度年会 数学基礎論および歴史分科会講演アブストラクト},
  year = 2019,
}

@misc{CTT100818803,
  author = {Kento Takagi and Ryo Kashima},
  title = {On the Completeness and the Decidability of Strictly Monadic Second-Order Logic},
  year = 2019,
}

@misc{CTT100881558,
  author = {Kento Takagi},
  title = {Studies on Propositional Connectives in Classical and Intuitionistic Logics},
  year = 2022,
}

@misc{CTT100881559,
  author = {Kento Takagi},
  title = {Studies on Propositional Connectives in Classical and Intuitionistic Logics},
  year = 2022,
}

@misc{CTT100902528,
  author = {Kento Takagi},
  title = {Studies on Propositional Connectives in Classical and Intuitionistic Logics},
  year = 2022,
}



@phdthesis{CTT100881558,
  author = {Kento Takagi},
  title = {Studies on Propositional Connectives in Classical and Intuitionistic Logics},
  school = {東京工業大学},
  year = 2022,
}

@phdthesis{CTT100881559,
  author = {Kento Takagi},
  title = {Studies on Propositional Connectives in Classical and Intuitionistic Logics},
  school = {東京工業大学},
  year = 2022,
}

@phdthesis{CTT100902528,
  author = {Kento Takagi},
  title = {Studies on Propositional Connectives in Classical and Intuitionistic Logics},
  school = {東京工業大学},
  year = 2022,
}