Please use this identifier to cite or link to this item: http://hdl.handle.net/10773/15101
Title: A dynamic logic for every season
Author: Madeira, Alexandre
Neves, Renato
Martins, Manuel A.
Barbosa, Luís S.
Issue Date: 2015
Publisher: Springer International Publishing
Abstract: 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
Appears in Collections:CIDMA - Capítulo de livro
AGG - Capítulo de livro

Files in This Item:
File Description SizeFormat 
MadeiraNevesMartinsBarbosa.pdf370.63 kBAdobe PDFView/Open


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.