Login / Signup

Further Results on Propositional Dynamic Logic of Nonregular Programs.

David HarelAmir PnueliJonathan Stavi
Published in: Logic of Programs (1981)
Keyphrases
  • propositional dynamic logic
  • dynamic logic
  • reasoning about actions
  • database
  • data sets
  • evolutionary algorithm
  • operating system
  • modal logic
  • answer sets
  • computer programs
  • intermediate level
  • provably correct