  The article proposes a formal semantics of happiness and sadness modalities
in imperfect information setting. It shows that these modalities are not
definable through each other and gives a sound and complete axiomatization of
their properties.
