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.

翻译：在许多现实情境中，往往缺乏足够的信息来确认某种策略能够成功实现目标，但有充分理由相信它会成功。本文引入"信念性"这一术语来指称此类策略。主要技术贡献在于构建了一个描述信念性策略与信念模态之间相互作用的可靠且完备的逻辑系统。