On the construction of multi-valued concurrent dynamic logics

DOI10.1007/978-3-030-38808-9_14zbMATH Open1495.03051arXiv1911.00462OpenAlexW2999491751MaRDI QIDQ777901FDOQ777901

Authors: Leandro G. Gomes 

Publication date: 8 July 2020

Abstract: Dynamic logic is a powerful framework for reasoning about imperative programs. An extension with a concurrent operator [18] was introduced to formalise programs running in parallel. In other direction, other authors proposed a systematic method for generating multi-valued propositional dynamic logics to reason about weighted programs [14]. This paper presents the first step of combining these two frameworks to introduce uncertainty in concurrent computations. In the developed framework, a weight is assigned to each branch of the parallel execution, resulting in a (possible) asymmetric parallelism, inherent to fuzzy programming paradigm [21, 2]. By adopting such an approach, a family of logics is obtained, called multi-valued concurrent propositional dynamic logics (CGDL(A)), parametric on an action lattice A 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.

Full work available at URL: https://arxiv.org/abs/1911.00462

Recommendations

• Concurrent dynamic logic
• An exercise on the generation of many-valued dynamic logics
• Parallel action: Concurrent dynamic logic with independent modalities
• scientific article; zbMATH DE number 4068839
• Concurrent weighted logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (2)

• An exercise on the generation of many-valued dynamic logics
• On interval dynamic logic

This page was built for publication: On the construction of multi-valued concurrent dynamic logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q777901)