This is a little too simplified for magic but gets at the idea certainly. You're right, this Magic would be classified as a sequential Bayesian game. Where your example is similar is a situation in magic in which you want to know whether your card can be countered or not. If you don't know what your opponent is holding then you can't know whether you need to play a bait card or you should go ahead and play the card you really want to play. But if you can look into your opponents hand and see that they do in fact have a counter card, do you play the bait card hoping they counter it or play the card you don't want countered for the sake of not losing tempo. Clearly it's not easy to model.
I've been looking into a book to get some ideas on modeling more complicated games and this book came to my attention. Do you know about this book at all? I am a senior undergrad math student, so I think it might be understandable enough. The sample pages were, but I'm sure it will get more complicated.