Knowledge, Proof and Dynamics The Fourth Asian Workshop on Philosophical Logic - Liu, Fenrong; Ono, Hiroakira; Yu, Junhua (Logic in Asia: Studia Logica Library, 2020)