Propositional dynamic logic has interpolation

Bulletin of the Section of Logic, Tom 30, Numer 1 (2001) s. 33-39
Tomasz Kowalski

 

do góry