Regular Dynamic Logic Is Not Interpretable in Deterministic Context-Free Dynamic Logic

Alexei P. Stolboushkin. Regular Dynamic Logic Is Not Interpretable in Deterministic Context-Free Dynamic Logic. Inf. Comput., 59(1-3):94-107, October/November/December 1983.

@article{Stolboushkin83,
  title = {Regular Dynamic Logic Is Not Interpretable in Deterministic Context-Free Dynamic Logic},
  author = {Alexei P. Stolboushkin},
  year = {1983},
  month = {October/November/December},
  tags = {context-aware, logic},
  researchr = {https://researchr.org/publication/Stolboushkin83},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {59},
  number = {1-3},
  pages = {94-107},
}