AbstarctWe present a general logical framework for reasoning about agents’ cognitive attitudes of both epistemic type and motivational type. We show that it allows us to express a variety of relevant concepts for qualitative decision theory including the concepts of knowledge, belief, strong belief, conditional belief, desire, conditional desire, strong desire, and preference. We also present two extensions of the logic, one by the notion of choice and the other by dynamic operators for belief change and desire change, and we apply the former to the analysis of single-stage games under incomplete information. We provide sound and complete axiomatizations for the basic logic and for its two extensions.

中文翻译：

---

认知态度及其变化的定性理论

摘要我们提出了一个通用的逻辑框架，用于推理代理的认知类型和动机类型的认知态度。我们表明，它允许我们表达定性决策理论的各种相关概念，包括知识、信念、强烈信念、有条件信念、欲望、有条件欲望、强烈欲望和偏好的概念。我们还提出了两种逻辑扩展，一种是选择概念，另一种是动态算子，用于信念变化和欲望变化，并将前者应用于不完全信息下的单阶段博弈分析。我们为基本逻辑及其两个扩展提供了合理且完整的公理化。