The Single Logout is sending back-channel POST with the ticket to the services, cf https://apereo.github.io/cas/development/protocol/CAS-Protocol-Specification.html#head_appdx_c
NB: I've not managed yet to test the added conf "casBackChannelSingleLogout" in manager