Madeira A, Neves R, Barbosa LS, Martins M.? 2014.??A Dynamic Logic for Every season. Proceedings of 17th Brazilian Symposium, SBMF. :16.