Vakarelov, Dimiter. “Proximity Modal Logics”. Proceedings of the Amsterdam Colloquium, Dec. 1997, pp. 301-6, https://platform.openjournals.nl/PAC/article/view/24617.