The Doxastic Interpretation of Team Semantics

TL;DR

This paper proposes a doxastic interpretation of logical connectives within Dependence Logic and its extensions, suggesting that Team Semantics effectively models reasoning about beliefs and belief updates.

Contribution

It introduces a novel doxastic perspective on Team Semantics, linking belief reasoning with logical frameworks in Dependence Logic.

Findings

Team Semantics naturally models belief states.

Logical connectives correspond to belief operations.

Framework supports reasoning about belief updates.

Abstract

We advance a doxastic interpretation for many of the logical connectives considered in Dependence Logic and in its extensions, and we argue that Team Semantics is a natural framework for reasoning about beliefs and belief updates.