Login / Signup

Propositional Dynamic Logic of Flowcharts.

David HarelRivi Sherman
Published in: FCT (1983)
Keyphrases
  • propositional dynamic logic
  • reasoning about actions
  • dynamic logic
  • artificial intelligence