The Doxastic Interpretation of Team Semantics
Pietro Galliani

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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSemantic Web and Ontologies · Logic, Reasoning, and Knowledge · Service-Oriented Architecture and Web Services
