Repository | Book | Chapter

203540

(2016) Readings in formal epistemology, Dordrecht, Springer.

On logics of knowledge and belief

Robert Stalnaker

pp. 605-626

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.

Publication details

DOI: 10.1007/978-3-319-20451-2_30

Full citation:

Stalnaker, R. (2016)., On logics of knowledge and belief, in H. Arló-Costa, V. F. Hendricks & J. Van Benthem (eds.), Readings in formal epistemology, Dordrecht, Springer, pp. 605-626.

This document is unfortunately not available for download at the moment.