Picture for Sanaz Azimipour

Sanaz Azimipour

If You're Happy, Then You Know It: The Logic of Happiness and Sadness

Add code
Jan 02, 2021
Sanaz Azimipour, Pavel Naumov
Figure 1 for If You're Happy, Then You Know It: The Logic of Happiness and Sadness
Figure 2 for If You're Happy, Then You Know It: The Logic of Happiness and Sadness
Figure 3 for If You're Happy, Then You Know It: The Logic of Happiness and Sadness
Figure 4 for If You're Happy, Then You Know It: The Logic of Happiness and Sadness

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.

Viaarxiv icon
Github IconAccess Paper or Ask Questions
Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon