If You're Happy, Then You Know It: The Logic of Happiness... and Sadness
classification
💻 cs.AI
cs.LO
keywords
happinessmodalitiessadnessarticleaxiomatizationcompletedefinableformal
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.