M. Klonowski, “A Post-style proof of completeness theorem for symmetric relatedness Logic S”, B Sect Log, vol. 47, no. 3, pp. 201–214, Oct. 2018.