[logic-ml] Kyoto Philosophical Logic Workshop IIのご案内