Modal logic with descriptions - Ruzsa, Imre (Nijhoff International Philosophy, 1981)