On the construction of multi-valued concurrent dynamic logics

DOI10.1007/978-3-030-38808-9_14zbMath1495.03051arXiv1911.00462OpenAlexW2999491751MaRDI QIDQ777901

Leandro G. Gomes

Publication date: 8 July 2020

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

Mathematics Subject Classification ID

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

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