Dynamics, Uncertainty and Reasoning - Liao; Wang, Yi N.; Ågotnes, Thomas (Springer Singapore, 2019)