Login / Signup

Propositional Dynamic Logic of Nonregular Programs.

David HarelAmir PnueliJonathan Stavi
Published in: J. Comput. Syst. Sci. (1983)
Keyphrases
  • propositional dynamic logic
  • dynamic logic
  • reasoning about actions
  • modal logic
  • computer programs
  • real time
  • neural network
  • feature selection