An Introduction to Logics of Knowledge and Belief

Add code
Mar 03, 2015
Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Kooi
Figure 1 for An Introduction to Logics of Knowledge and Belief
Figure 2 for An Introduction to Logics of Knowledge and Belief
Figure 3 for An Introduction to Logics of Knowledge and Belief
Figure 4 for An Introduction to Logics of Knowledge and Belief

Share this with someone who'll enjoy it:

Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon

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.

* FIrst chapter of "Handbook of Epistemic Logic", by Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, and Barteld Kooi  
View paper onarxiv icon

Share this with someone who'll enjoy it:

Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon