Stephanou Y. Investigations into quantified modal logic. Notre Dame Journal of Formal Logic. 2002;43(4):193-220.