# An Introduction to Logics of Knowledge and Belief

arXiv: https://arxiv.org/abs/1503.00806 · HTML: https://mlsanity.com/paper/1503.00806/

## Key facts

- Cited by 3 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 3 Mar 2015.

## Built on by (most cited first, 3 of 3)

- [An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning](https://mlsanity.com/paper/2203.12352/) (2022)
- [Learnability with PAC Semantics for Multi-agent Beliefs](https://mlsanity.com/paper/2306.05490/) (2023)
- [Logic, Optimization, and Artificial Intelligence](https://mlsanity.com/paper/2607.15532/) (2026)

## Abstract (arXiv)

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.