[logic-ml] The Fourth Taiwan Philosophical Logic Colloquium (TPLC 2018)