![](/img/cover-not-exists.png)
Regular dynamic logic is not interpretable in deterministic context-free dynamic logic
A.P. StolboushkinVolume:
59
Year:
1983
Language:
english
Pages:
14
DOI:
10.1016/s0019-9958(83)80031-x
File:
PDF, 656 KB
english, 1983