Gotham, M. 2019. Double Negation, Excluded Middle and Accessibility in Dynamic Semantics. Proceedings of the Amsterdam Colloquium. (Dec. 2019), 142–151.