Journal of Philosophical Logic

, Volume 26, Issue 2, pp 143–168

The Modal Logic of Discrepancy

  • Charles B. Cross

DOI: 10.1023/A:1017939604673

Cite this article as:
Cross, C.B. Journal of Philosophical Logic (1997) 26: 143. doi:10.1023/A:1017939604673


Discrepancies between an agent’s goals and beliefs play an important, if implicit, role in determining what a rational agent is motivated to do. This is most obvious in cases where an agent achieves a complex goal incrementally and must deliberate anew as each milestone is reached. In such cases the concept of goal/belief discrepancy defines an appropriate space to which a degree-of-achievement yardstick can be applied. This paper presents soundness and completeness results concerning a logic for reasoning about goal/belief discrepancy, and it is suggested that a certain species of goal/belief discrepancy captures the concept of desire.

Copyright information

© Kluwer Academic Publishers 1997

Authors and Affiliations

  • Charles B. Cross
    • 1
  1. 1.Department of PhilosophyUniversity of GeorgiaAthensU.S.A.

Personalised recommendations