Modal languages for topology: Expressivity and definability (2009)

by ten Cate, B Gabelaia, D, D Sustretov
Venue:Annals of Pure and Applied Logic