Albert R. Meyer, Rohit Parikh. Definability in Dynamic Logic. J. Comput. Syst. Sci., 23(2):279-298, 1981.
@article{MeyerP81,
title = {Definability in Dynamic Logic},
author = {Albert R. Meyer and Rohit Parikh},
year = {1981},
tags = {logic},
researchr = {https://researchr.org/publication/MeyerP81},
cites = {0},
citedby = {0},
journal = {J. Comput. Syst. Sci.},
volume = {23},
number = {2},
pages = {279-298},
}