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!)
Noah Schweber
- 21.1k
- 10
- 110
- 331