An Introduction to Logics of Knowledge and Belief
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2015
- DOI:
- 10.48550/arXiv.1503.00806
- arXiv:
- arXiv:1503.00806
- Bibcode:
- 2015arXiv150300806V
- Keywords:
-
- Computer Science - Artificial Intelligence;
- Computer Science - Logic in Computer Science
- E-Print:
- FIrst chapter of "Handbook of Epistemic Logic", by Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, and Barteld Kooi