The Comparison of the Expressive Power of First-Order Dynamic Logics

Alexei P. Stolboushkin, Michael A. Taitslin. The Comparison of the Expressive Power of First-Order Dynamic Logics. Theoretical Computer Science, 27:197-209, 1983.

Abstract

Abstract is missing.