The provability logic for # 1 -interpolability (1993)

by K N Ignatiev
Venue:Annals of Pure and Applied Logic