TY - RPRT TI - Modal languages for topology: expressivity and definability AU - Balder ten Cate AU - David Gabelaia AU - Dmitry Sustretov PY - 2006 UR - https://arxiv.org/abs/math/0610357 ID - math/0610357 ER -