Decision implications: a logical point of view