An Introduction to Logics of Knowledge and Belief
arXiv:1503.00806v129 citations
Originality Synthesis-oriented
AI Analysis
It serves as an introductory resource for researchers and students in logic and AI, but is incremental as it compiles existing knowledge without new findings.
The chapter introduces fundamental concepts, formal languages, semantics, and proof systems of epistemic logic, along with an overview of the handbook and its historical context.
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.