If You're Happy, Then You Know It: The Logic of Happiness... and Sadness
arXiv:2101.00485v1
Originality Incremental advance
AI Analysis
This work addresses a foundational problem in logic and formal semantics by providing a rigorous framework for understanding emotional states, which could be relevant for researchers in AI and philosophy.
This paper introduces a formal semantics for happiness and sadness modalities within an imperfect information framework. It demonstrates that these two modalities are not inter-definable and provides a sound and complete axiomatization of their respective properties.
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.