Tangled modal logic for spatial reasoning | Publicación