Sequential Dynamic Logic.

Alexander Bochman Dov M. Gabbay

Published in: J. Log. Lang. Inf. (2012)

Keyphrases

dynamic logic
reasoning about actions
modal logic
imperative programs
sequential search
propositional dynamic logic
multiple input
classical first order logic
machine learning
first order logic
agent programming