Kento Takagi

According to our database, Kento Takagi authored at least 2 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

What Kinds of Connectives Cause the Difference Between Intuitionistic Predicate Logic and the Logic of Constant Domains?

Naosuke Matsuda, Kento Takagi

Proceedings of the Logic, Language, Information, and Computation, 2022

2020

On the completeness and the decidability of strictly monadic second-order logic.

Kento Takagi, Ryo Kashima

Math. Log. Q., 2020