Utilize este identificador para referenciar este registo:
http://hdl.handle.net/10773/15101
Título: | A dynamic logic for every season |
Autor: | Madeira, Alexandre Neves, Renato Martins, Manuel A. Barbosa, Luís S. |
Data: | 2015 |
Editora: | Springer International Publishing |
Resumo: | 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 specific program classes. |
URI: | http://hdl.handle.net/10773/15101 |
DOI: | 10.1007/978-3-319-15075-8_9 |
ISBN: | 978-3-319-15074-1 |
Aparece nas coleções: | CIDMA - Capítulo de livro AGG - Capítulo de livro |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
MadeiraNevesMartinsBarbosa.pdf | 370.63 kB | Adobe PDF | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.