On the completeness and the decidability of strictly monadic second-order logic. - Kento Takagi; Ryo Kashima (Math. Log. Q., 2020)

What Kinds of Connectives Cause the Difference Between Intuitionistic Predicate Logic and the Logic of Constant Domains? - Naosuke Matsuda; Kento Takagi (WoLLIC, 2022)