S. Steinert-Threlkeld, “Uniform Definability in Assertability Semantics”, Proceedings of the AC, pp. 445–454, Dec. 2017, doi: 10.53437/6ns5tv47.