PDL Has Interpolation

Tomasz Kowalski. PDL Has Interpolation. Journal of Symbolic Logic, 67(3):933-946, 2002.

Abstract

Abstract is missing.