Kyoto Logic Group is a group of Kyoto-based or Kyoto-related logicians and philosophers

Members

• Yosuke Fukuda : Constructive Type Theory, Modal Logic, Linear Logic

• Ryo Ito : Philosophy of logic, Early analytic philosophy

• Takuro Onishi : Relevant logic, Negation as modality

• Shunsuke Yatabe : Philosophical Logic, Safety and security assessment of safety-critical software