Deterministic Dynamic Logic is Strictly Weaker than Dynamic Logic

Alexei P. Stolboushkin Michael A. Taitslin

Published in: Inf. Control. (1983)

Keyphrases

dynamic logic
modal logic
reasoning about actions
imperative programs
first order logic
propositional dynamic logic
classical first order logic
machine learning
agent programming
mobile robot
expressive power
black box
multiple input