Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
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!)
