Journal of Symbolic Logic 82, 1181-1198 (2018). E. Washington. On the equivalence of logical theories, Bachelor's thesis, 2018. H. Lederman et al. 2018. "Can modalities save naive set theory?" The ...