I wrote out an example playing of the Monty Hall Problem in Independence Friendly Logic as a game of incomplete information and appended it to my post here.
I also left an extended comment on Dependence Logic vs. Independence Friendly Logic about some of the tribulations encountered as a non-academic trying to get my grubby little hands on obscure logic papers.