Cardiff University | Prifysgol Caerdydd ORCA
Online Research @ Cardiff 
WelshClear Cookie - decide language by browser settings

Expertise and information: an epistemic logic perspective

Singleton, Joseph and Booth, Richard ORCID: 2023. Expertise and information: an epistemic logic perspective. Synthese 201 , 64. 10.1007/s11229-023-04064-y

[thumbnail of s11229-023-04064-y.pdf]
PDF - Published Version
Available under License Creative Commons Attribution.

Download (512kB) | Preview


In this paper we present a modal logic framework to reason about the expertise of information sources. A source is considered an expert on a proposition φ if they are able to correctly refute φ in any possible world where φ is false. Closely connected with expertise is a notion of soundness of information: φ is said to be “sound” if it is true up to lack of expertise of the source. That is, any statement logically weaker than φ on which the source has expertise must in fact be true. This is relevant for modelling situations in which sources make claims beyond their domain of expertise. Particular attention is paid to the connection between expertise and knowledge: we show that expertise and soundness admit precise interpretations in terms of S4 and S5 epistemic logic, under certain conditions. We go on to extend the framework to multiple sources, defining two notions of collective expertise. These also have epistemic interpretations via distributed and common knowledge from multi-agent epistemic logic. On the technical side, we give several sound and complete axiomatisations of various classes of expertise models.

Item Type: Article
Date Type: Publication
Status: Published
Schools: Computer Science & Informatics
Publisher: Springer
ISSN: 0039-7857
Date of First Compliant Deposit: 24 January 2023
Date of Acceptance: 25 January 2023
Last Modified: 03 May 2023 07:23

Actions (repository staff only)

Edit Item Edit Item


Downloads per month over past year

View more statistics