A Proof-Checker for Dynamic Logic.

Steven D. Litvintchouk Vaughan R. Pratt

Published in: IJCAI (1977)

Keyphrases

dynamic logic
imperative programs
classical first order logic
modal logic
reasoning about actions
propositional dynamic logic
data sets
neural network
theorem proving
agent programming
multiple input
dynamic environments
first order logic