Program Verification Using Dynamic Logic.

Maritta Heisel Wolfgang Reif Werner Stephan

Published in: CSL (1987)

Keyphrases

dynamic logic
reasoning about actions
modal logic
imperative programs
agent programming
first order logic
artificial intelligence
temporal logic
multi dimensional
logic programming
modal operators
propositional dynamic logic