MODAL LOGIC WITH DESCRIPTIONS - RUZSA,IMRE (OTH THE HAGUE, 1981)