The Logic of Doxastic Strategies

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.