Modal languages for topology: Expressivity and definability

Balder ten Cate, David Gabelaia, Dmitry Sustretov. Modal languages for topology: Expressivity and definability. Annals of Pure and Applied Logic, 159(1-2):146-170, 2009. [doi]

Abstract

Abstract is missing.