The Logic of Doxastic Strategies
Junli Jiang, Pavel Naumov

TL;DR
This paper introduces a logical framework for doxastic strategies, which are based on belief rather than certainty, providing a formal system to analyze their interplay with belief modalities.
Contribution
It develops a sound and complete logical system specifically modeling doxastic strategies and their relationship with belief modalities, filling a gap in formal logic.
Findings
The logical system accurately captures doxastic strategies.
The system is proven to be sound and complete.
It offers a formal tool for reasoning about belief-based strategies.
Abstract
In many real-world situations, there is often not enough information to know that a certain strategy will succeed in achieving the goal, but there is a good reason to believe that it will. The paper introduces the term ``doxastic'' for such strategies. The main technical contribution is a sound and complete logical system that describes the interplay between doxastic strategy and belief modalities.
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
TopicsLogic, Reasoning, and Knowledge · Advanced Algebra and Logic · Bayesian Modeling and Causal Inference
