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

Share this with someone who'll enjoy it:

Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon

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.

View paper onarxiv icon

Share this with someone who'll enjoy it:

Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon