%0 Journal Article
%T A general proof system for logics of imperfect information
%A Pietro Galliani
%J Mathematics
%D 2012
%I arXiv
%X 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.
%U http://arxiv.org/abs/1201.5811v1