Logica modale quantificata e designatori non rigidi