It currently appears that this logic is not already treated in the literature. 

*(I'm posting this answer to move this question off the unanswered queue, but if someone does find a source on it of course please add it!)*