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

01/02/2021

∙

by   Sanaz Azimipour, et al.

∙

0

∙

share

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.