Dynamic Logic: A Personal Perspective.

Vaughan R. Pratt

Published in: DALI@TABLEAUX (2017)

Keyphrases

dynamic logic
modal logic
reasoning about actions
viewpoint
imperative programs
classical first order logic
propositional dynamic logic
model checking
temporal logic