Dynamic logic.

David Harel Dexter Kozen Jerzy Tiuryn

Published in: SIGACT News (2001)

Keyphrases

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