Knowledge, proof and dynamics The Fourth Asian Workshop on Philosophical Logic - Liu, Fenrong (Logic in Asia: Studia Logica Library, 2020)