当前位置:
X-MOL 学术
›
arXiv.cs.LO
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
If You're Happy, Then You Know It: The Logic of Happiness... and Sadness
arXiv - CS - Logic in Computer Science Pub Date : 2021-01-02 , DOI: arxiv-2101.00485 Sanaz Azimipour, Pavel Naumov
arXiv - CS - Logic in Computer Science Pub Date : 2021-01-02 , DOI: arxiv-2101.00485 Sanaz Azimipour, Pavel Naumov
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.
中文翻译:
如果你快乐,那你就会知道:幸福的逻辑……和悲伤
本文提出了不完善信息设置中幸福和悲伤模式的形式语义。它表明这些模态不能相互定义,并给出了其属性的合理完整的公理化。
更新日期:2021-01-05
中文翻译:
如果你快乐,那你就会知道:幸福的逻辑……和悲伤
本文提出了不完善信息设置中幸福和悲伤模式的形式语义。它表明这些模态不能相互定义,并给出了其属性的合理完整的公理化。