Login / Signup
On the Power of Nondeterminism in Dynamic Logic.
Piotr Berman
Joseph Y. Halpern
Jerzy 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