Paper

An Introduction to Logics of Knowledge and Belief

This chapter provides an introduction to some basic concepts of epistemic logic, basic formal languages, their semantics, and proof systems. It also contains an overview of the handbook, and a brief history of epistemic logic and pointers to the literature.

Results in Papers With Code
(↓ scroll down to see all results)