TY - RPRT TI - Modal Logics of Topological Relations AU - Carsten Lutz AU - Frank Wolter PY - 2006 DO - 10.2168/lmcs-2(2:5)2006 UR - https://arxiv.org/abs/cs/0605064 ID - cs/0605064 ER -