Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/11260
Title: On the Construction of Multi-valued Concurrent Dynamic Logics
Authors: Leandro Rafael Gomes
Issue Date: 2020
Abstract: Dynamic 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.
URI: http://repositorio.inesctec.pt/handle/123456789/11260
http://dx.doi.org/10.1007/978-3-030-38808-9_14
metadata.dc.type: Publication
conferenceObject
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.