Journal of Philosophical Logic

, Volume 26, Issue 2, pp 143–168 | Cite as

The Modal Logic of Discrepancy

  • Charles B. Cross


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Collins, J.: Belief, Desire, and Revision, Mind 47(1988), 333–342.Google Scholar
  2. 2.
    Gärdenfors, P.: Knowledge in Flux. The MIT Press, Cambridge, 1988.Google Scholar
  3. 3.
    Nehamas, A. and Woodruff, P.: Plato's Symposium, translated, with introduction and notes. Hackett, Indianapolis, 1989.Google Scholar
  4. 4.
    Stampe, D.: The Authority of Desire, Philosophical Review 46(1987), 335–381.Google Scholar
  5. 5.
    Thomason, R. H.: Some Completeness Results for Modal Predicate Calculi, in: Karel Lambert (ed), Philosophical Problems in Logic: Some Recent Developments, D. Reidel, Dordrecht, 1970, 56–76.Google Scholar

Copyright information

© Kluwer Academic Publishers 1997

Authors and Affiliations

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

Personalised recommendations