Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/11260
Full metadata record
DC FieldValueLanguage
dc.contributor.authorLeandro Rafael Gomesen
dc.contributor.other6759en
dc.date.accessioned2020-06-17T13:53:30Z-
dc.date.available2020-06-17T13:53:30Z-
dc.date.issued2020en
dc.identifier.urihttp://repositorio.inesctec.pt/handle/123456789/11260-
dc.identifier.urihttp://dx.doi.org/10.1007/978-3-030-38808-9_14en
dc.description.abstractDynamic logic is a powerful framework for reasoning about imperative programs. An extension with a concurrent operator, called concurrent propositional dynamic logic (CPDL) [20], was introduced to formalise programs running in parallel. In a different direction, other authors proposed a systematic method for generating multi-valued propositional dynamic logics to reason about weighted programs [15]. This paper presents the first step of combining these two frameworks to introduce uncertainty in concurrent computations. In the proposed framework, a weight is assigned to each branch of the parallel execution, resulting in a (possible) asymmetric parallelism, inherent to the fuzzy programming paradigm [2, 23]. By adopting such an approach, a family of logics is obtained, called multi-valued concurrent propositional dynamic logics ), parametric on an action lattice specifying a notion of “weight” assigned to program execution. Additionally, the validity of some axioms of CPDL is discussed in the new family of generated logics. © 2020, Springer Nature Switzerland AG.en
dc.languageengen
dc.titleOn the Construction of Multi-valued Concurrent Dynamic Logicsen
dc.typePublicationen
dc.typeconferenceObjecten
Appears in Collections:Non INESC TEC publications - Indexed Articles in Conferences

Files in This Item:
File Description SizeFormat 
P-00R-QPX.pdf299.28 kBAdobe PDFThumbnail
View/Open


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