Knowledge, Proof and Dynamics - Liu (Springer Singapore, 2020)