Madeira A, Neves R, Martins MA.? 2016.??An exercise on the generation of many-valued dynamic logics. J. Log. Algebr. Meth. Program.. 85:1011?1037.