DaLí - Dynamic Logic, new trends and applications.

Mario R. F. Benevides Alexandre Madeira

Published in: J. Log. Algebraic Methods Program. (2020)

Keyphrases

dynamic logic
modal logic
reasoning about actions
imperative programs
classical first order logic
agent programming
multiple input
propositional dynamic logic
machine learning
general purpose
dynamic environments
first order logic