Login / Signup

On the Power of Nondeterminism in Dynamic Logic.

Piotr BermanJoseph Y. HalpernJerzy Tiuryn
Published in: ICALP (1982)
Keyphrases
  • dynamic logic
  • modal logic
  • power consumption
  • reasoning about actions
  • imperative programs
  • situation calculus
  • agent programming
  • propositional dynamic logic
  • genetic algorithm
  • high level
  • relational databases