The University of Southampton
University of Southampton Institutional Repository

If you’re happy, then you know it: the logic of happiness . . . and sadness

If you’re happy, then you know it: the logic of happiness . . . and sadness
If you’re happy, then you know it: the logic of happiness . . . and sadness
The article proposes a formal semantics of happiness and sadness modalities in the imperfect information setting. It shows that these modalities are not definable through each other and gives a sound and complete axiomatization of their properties.
1425-3305
Azimipour, Sanaz
b6f3cca5-3fc1-43e3-9c2d-2f87409a37ee
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Azimipour, Sanaz
b6f3cca5-3fc1-43e3-9c2d-2f87409a37ee
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0

Azimipour, Sanaz and Naumov, Pavel (2024) If you’re happy, then you know it: the logic of happiness . . . and sadness. Logic and Logical Philosophy. (doi:10.12775/LLP.2024.009).

Record type: Article

Abstract

The article proposes a formal semantics of happiness and sadness modalities in the imperfect information setting. It shows that these modalities are not definable through each other and gives a sound and complete axiomatization of their properties.

Text
2409 - Version of Record
Download (796kB)

More information

Accepted/In Press date: 2024
Published date: 5 February 2024

Identifiers

Local EPrints ID: 486779
URI: http://eprints.soton.ac.uk/id/eprint/486779
ISSN: 1425-3305
PURE UUID: 9eb31ea6-7320-4fde-8654-1a722238e59c
ORCID for Pavel Naumov: ORCID iD orcid.org/0000-0003-1687-045X

Catalogue record

Date deposited: 06 Feb 2024 17:35
Last modified: 18 Mar 2024 04:04

Export record

Altmetrics

Contributors

Author: Sanaz Azimipour
Author: Pavel Naumov ORCID iD

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×