Gotham, Matthew. “Double Negation, Excluded Middle and Accessibility in Dynamic Semantics”. Proceedings of the Amsterdam Colloquium, Dec. 2019, pp. 142-51, https://platform.openjournals.nl/PAC/article/view/21985.