Skip to content

Kensuke Kojima

      Research interests

      inuitionistic modal logic