Gargov, George and Goranko, Valentin. 1993. “Modal Logic with Names.”The Journal of Philosophical Logic 22(6): 607–636.
Gargov, George, Passy, Solomon and Tinchev, Tinko. 1987. “Modal Environment for Boolean Speculations.” in Mathematical Logic and its Applications, edited by Dimiter G. Skordev, pp. 253–264. New York: Plenum Press.