Kyoto Nonclassical Logic Workshop