A general proof system for logics of imperfect information
  We develop a semantics for logics of imperfect information with respect to general models.   Then we build a proof system and prove its soundness and completeness with respect to this semantics. 
Pietro Galliani
math.LO