Gotham M. Double Negation, Excluded Middle and Accessibility in Dynamic Semantics. Proceedings of the AC. Published online December 1, 2019:142-151. doi:10.53437/t2akqk71