2.4AIJan 2, 2021
If You're Happy, Then You Know It: The Logic of Happiness... and SadnessSanaz Azimipour, Pavel Naumov
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.