On Logics of Knowledge and Belief

  • Robert StalnakerEmail author
Part of the Springer Graduate Texts in Philosophy book series (SGTP, volume 1)


Formal epistemology, or at least the approach to formal epistemology that develops a logic and formal semantics of knowledge and belief in the possible worlds framework, began with Jaakko Hintikka’s book Knowledge and Belief, published in 1962. It was later developed and applied to problems in theoretical computer science and game theory, as well as within epistemology. This paper surveys some of these developments, focusing on the formal relations between knowledge and belief, and on the way that the logics of knowledge and belief connect with some traditional problems in epistemology.


Actual World True Belief Belief Revision Belief State Accessibility Relation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. Battigalli, P., & Bonanno, G. (1999). Recent results on belief, knowledge and the epistemic foundations of game theory. Research in Economics, 53, 149–225.Google Scholar
  2. Fagin, R., Halpern, J. Y., Moses, Y., & Vardi, M. (1995). Reasoning about knowledge. Cambridge, MA: MIT Press.Google Scholar
  3. Gärdenfors, P. (1988). Knowledge in flux: Modeling the dynamics of epistemic states. Cambridge, MA: MIT Press.Google Scholar
  4. Gettier, E. (1963). Is justified true belief knowledge? Analysis, 6, 121–123.CrossRefGoogle Scholar
  5. Grove, A. (1988). Two modeling for theory change. Journal of Philosophical Logic, 17, 157–170.CrossRefGoogle Scholar
  6. Hintikka, J. (1962). Knowledge and belief. Ithaca: Cornell University Press.Google Scholar
  7. Lehrer, K., & Paxson, T. (1969). Knowledge: Undefeated justified true belief. The Journal of Philosophy, 66, 225–237.CrossRefGoogle Scholar
  8. Lenzen, W. (1978). Recent work in epistemic logic (Acta philosophica Fennica, Vol. 30). Amsterdam: North-Holland.Google Scholar
  9. Schwarz, G., & Truszczyński, M. (1992). Modal logic S4F and the minimal knowledge paradigm. In Proceedings of the fourth conference on theoretical aspects of reasoning about knowledge (pp. 184–198). Sam Mateo: Morgan Kaufmann Publishers, Inc.Google Scholar
  10. Stalnaker, R. (1991). The problem of logical omniscience, I. Synthese, 89, 425–440. (Reprinted in Stalnaker (1999a), 240–254).Google Scholar
  11. Stalnaker, R. (1994). What is a non-monotonic consequence relation? Fundamenta Informaticae, 21, 7–21.Google Scholar
  12. Stalnaker, R. (1996). Knowledge, belief and counterfactual reasoning in games. Economics and Philosophy, 12, 133–162.CrossRefGoogle Scholar
  13. Stalnaker, R. (1999a). Context and content: Essays on intentionality in speech and thought. Oxford: Oxford University Press.CrossRefGoogle Scholar
  14. Stalnaker, R. (1999b). “The Problem of Logical Omniscience II” in Stalnaker (1999a), 255–273.Google Scholar
  15. Swain, M. (1974). Epistemic defeasibility. The American Philosophical Quarterly, 11, 15–25.Google Scholar
  16. Williamson, T. (2000). Knowledge and its limits. Oxford: Oxford University Press.Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.Department of Linguistics and PhilosophyMITCambridgeUSA

Personalised recommendations