Vakarelov, D. 1997. Proximity Modal Logics. Proceedings of the Amsterdam Colloquium. (Dec. 1997), 301–306.