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

arXiv: https://arxiv.org/abs/2101.00485 · HTML: https://mlsanity.com/paper/2101.00485/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- Builds on 0 of its 16 references that are in the map.
- First posted on arXiv 2 Jan 2021.

## Built on by (most cited first, 1 of 1)

- [A Computationally Grounded Framework for Cognitive Attitudes (extended version)](https://mlsanity.com/paper/2412.14073/) (2024)

## Abstract (arXiv)

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.