Equivalence and quantifier rules for logic with imperfect information.

Xavier Caicedo Francien Dechesne Theo M. V. Janssen Equivalence and quantifier rules for logic with imperfect information. 91-129 2009 17 Logic Journal of the IGPL 1 http://dx.doi.org/10.1093/jigpal/jzn030 db/journals/igpl/igpl17.html#CaicedoDJ09