Deterministic Dynamic Logic is Strictly Weaker than Dynamic Logic

Alexei P. Stolboushkin, Michael A. Taitslin. Deterministic Dynamic Logic is Strictly Weaker than Dynamic Logic. Inf. Comput., 57(1):48-55, April 1983.

@article{StolboushkinT83:0,
  title = {Deterministic Dynamic Logic is Strictly Weaker than Dynamic Logic},
  author = {Alexei P. Stolboushkin and Michael A. Taitslin},
  year = {1983},
  month = {April},
  tags = {logic},
  researchr = {https://researchr.org/publication/StolboushkinT83%3A0},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {57},
  number = {1},
  pages = {48-55},
}