Read the above mathematics. Besides that you can see it in the network activity. Error codes from DCing are logged. Leaving intentionally might be logged to but it will have a different marker. Or they would simply know because there was no KTO error logged on that disconnect.