Kyoto Philosophical Logic Workshop