Kyoto Philosophical Logic Workshop III