<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Alexandre Madeira</style></author><author><style face="normal" font="default" size="100%">Renato Neves</style></author><author><style face="normal" font="default" size="100%">Luis Soares Barbosa</style></author><author><style face="normal" font="default" size="100%">M. Martins</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A Dynamic Logic for Every season</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of 17th Brazilian Symposium, SBMF</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year><pub-dates><date><style  face="normal" font="default" size="100%">September</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/madeira/files/sbmf14_0.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">Springer International Publishing</style></publisher><pub-location><style face="normal" font="default" size="100%">Maceió, AL, Brazil</style></pub-location><pages><style face="normal" font="default" size="100%">16</style></pages><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper introduces a method to build dynamic logics with a graded semantics. The construction is parametrized by a structure to support both the spaces of truth and of the domain of computations. Possible instantiations of the method range from classical assertional) dynamic logic to less common graded logics suitable to deal with programs whose transitional semantics exhibits fuzzy or weighted behaviour.This leads to the systematic derivation of program logics tailored to specic program classes.&lt;/p&gt;
</style></abstract></record></records></xml>