Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/16705
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Madeira, Alexandre | pt |
dc.contributor.author | Neves, Renato | pt |
dc.contributor.author | Martins, Manuel A. | pt |
dc.date.accessioned | 2017-01-26T20:15:23Z | - |
dc.date.available | 2018-07-20T14:00:57Z | - |
dc.date.issued | 2016-08 | - |
dc.identifier.issn | 2352-2208 | pt |
dc.identifier.uri | http://hdl.handle.net/10773/16705 | - |
dc.description.abstract | In the last decades, dynamic logics have been used in different domains as a suitable formalism to reason about and specify a wide range of systems. On the other hand, logics with many-valued semantics are emerging as an interesting tool to handle devices and scenarios where uncertainty is a prime concern. This paper contributes towards the combination of these two aspects through the development of a method for the systematic construction of many-valued dynamic logics. Technically, the method is parameterised by an action lattice that defines both the computational paradigm and the truth space (corresponding to the underlying Kleene algebra and residuated lattices, respectively). | pt |
dc.language.iso | eng | pt |
dc.publisher | Elsevier | pt |
dc.relation | UID/MAT/04106/2013 | pt |
dc.relation | PIRSES-GA-2012-318986 | pt |
dc.relation | PTDC/EEI-CTP/4836/2014 | pt |
dc.relation | SFRH/BPD/103004/2014 | pt |
dc.relation | SFRH/BD/52234/2013 | pt |
dc.rights | openAccess | por |
dc.subject | Dynamic logic | pt |
dc.subject | Many-valued logic | pt |
dc.subject | Kleene algebra | pt |
dc.subject | Action lattice | pt |
dc.title | An exercise on the generation of many-valued dynamic logics | pt |
dc.type | article | pt |
dc.peerreviewed | yes | pt |
ua.distribution | international | pt |
degois.publication.firstPage | 1011 | pt |
degois.publication.issue | 5, Part 2 | pt |
degois.publication.lastPage | 1037 | pt |
degois.publication.title | Journal of Logical and Algebraic Methods in Programming | pt |
degois.publication.volume | 85 | pt |
dc.date.embargo | 2017-08-01T19:00:00Z | - |
dc.identifier.doi | 10.1016/j.jlamp.2016.03.004 | pt |
Appears in Collections: | CIDMA - Artigos AGG - Artigos |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
JNOrevised11-03-16.pdf | Documento principal | 767.3 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.