当前位置: 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

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
down
wechat
bug