Modal logic with descriptions door Ruzsa