Dynamic logic new trends and applications : second international workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019 : proceedings - Soares Barbosa, Luís (Springer, 2020)