An Introduction to Logics of Knowledge and Belief

TL;DR

This chapter introduces fundamental concepts, formal languages, semantics, and proof systems in epistemic logic, providing historical context and literature overview for understanding knowledge and belief logics.

Contribution

It offers a comprehensive introduction and overview of epistemic logic, including its history, formal frameworks, and key literature, serving as a foundational resource.

Findings

Overview of formal languages and semantics in epistemic logic

Historical development of epistemic logic

Pointers to key literature and research directions

Abstract

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.