The University of Southampton
×
Filter your search:
University of Southampton Institutional Repository

An epistemic logic of preferences

An epistemic logic of preferences
An epistemic logic of preferences
The article studies preferences of agents in a setting with imperfect information. For such a setting, the authors propose a new class of preferences. It is said that an agent prefers one statement over another if, among all indistinguishable worlds, the agent prefers the worlds where the first statement is true to those where the second one is true.

The main technical result is a sound and complete logical system describing the interplay between a binary modality capturing preferences and the knowledge modality. The proof of completeness is using a newly proposed "tumbled pairs'' technique.
Axiomatisation, Betterness, Ceteris paribus, Completeness, Knowledge, Preference
0039-7881
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Ovchinnikova, Anna
452e9fa1-e973-4858-aff4-51699f06c676
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Ovchinnikova, Anna
452e9fa1-e973-4858-aff4-51699f06c676

Naumov, Pavel and Ovchinnikova, Anna (2023) An epistemic logic of preferences. Synthesis, 201 (3), [77]. (doi:10.1007/s11229-023-04060-2).

Record type: Article

Abstract

The article studies preferences of agents in a setting with imperfect information. For such a setting, the authors propose a new class of preferences. It is said that an agent prefers one statement over another if, among all indistinguishable worlds, the agent prefers the worlds where the first statement is true to those where the second one is true.

The main technical result is a sound and complete logical system describing the interplay between a binary modality capturing preferences and the knowledge modality. The proof of completeness is using a newly proposed "tumbled pairs'' technique.

Text
s11229-023-04060-2 - Version of Record
Available under License Creative Commons Attribution.
Download (661kB)

More information

Accepted/In Press date: 23 January 2023
e-pub ahead of print date: 16 February 2023
Published date: 16 February 2023
Additional Information: Publisher Copyright: © 2023, The Author(s).
Keywords: Axiomatisation, Betterness, Ceteris paribus, Completeness, Knowledge, Preference
Learn more about Agents, Interactions and Complexity research

Identifiers

Local EPrints ID: 474701
URI: http://eprints.soton.ac.uk/id/eprint/474701
DOI: doi:10.1007/s11229-023-04060-2
ISSN: 0039-7881
PURE UUID: 6ae47fa4-13f4-4e7c-830f-a8d04afacf60
ORCID for Pavel Naumov: ORCID iD orcid.org/0000-0003-1687-045X

Catalogue record

Date deposited: 01 Mar 2023 18:00
Last modified: 06 Jun 2024 02:12

Export record

Altmetrics

Contributors

Author: Pavel Naumov ORCID iD
Author: Anna Ovchinnikova

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

Library staff additional information
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.

×