Knowledge, Proof and Dynamics - Liu; Ono, Hiroakira; Yu, Junhua (Springer Singapore, 2020)