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