Needs and satisfaction logics