(1)
Klonowski, M. A Post-Style Proof of Completeness Theorem for Symmetric Relatedness Logic S. B Sect Log 2018, 47, 201–214.