Login / Signup

Propositional Dynamic Logic of Flowcharts

David HarelRivi Sherman
Published in: Inf. Control. (1985)
Keyphrases
  • propositional dynamic logic
  • dynamic logic
  • reasoning about actions
  • artificial intelligence
  • expert systems
  • object oriented