Gotham, M. Double Negation, Excluded Middle and Accessibility in Dynamic Semantics. Proceedings of the AC 2019, 142-151.