Visual and Diagrammatic Languages: The Logic Perspective