Login / Signup
On the construction of multi-valued concurrent dynamic logic.
Leandro Gomes
Published in:
CoRR (2019)
Keyphrases
</>
multi valued
dynamic logic
single valued
reasoning about actions
modal logic
normal form
boolean functions
propositional dynamic logic
imperative programs
velocity field
three dimensional
data model
np hard
logic programming
random walk