Welcome Kelly! My first question (OK, I work with too many logicians!) is "which logic?" Do you actually mean teaching logic as logicians understand the term, or just generally encouraging systematic thinking, or what?
My DS (now 9) has enjoyed the software that goes with Barwise and Etchemendy's book Language and Logic (and something else?), especially Tarski's World, to an extent that has surprised me given that these are not games exactly. More recently he has enjoyed Laser Logic 3d on Android, though this is not logic so much as thinking skills in fact.
Sorry, busy week, just got back and saw your reply. I am not sure I understand your differentiation on logic, but she enjoys games that require deduction to figure out the next logical sequence of events or the most logical answer. She also enjoys thinking skills game that require you to look at the beginning, look at the ending, look at the tools available and use the tools to put together a functional mechanical structure that takes you from the beginning to the desired ending (like Pettson's inventions).
