TY  - RPRT
TI  - On the construction of multi-valued concurrent dynamic logic
AU  - Leandro Gomes
PY  - 2019
UR  - https://arxiv.org/abs/1911.00462
ID  - 1911.00462
ER  -