Modal logic with desciptions - Ruzsa, Imre (Akadémiai Kiadó, 1981)