An Introduction to Logics of Knowledge and Belief
classification
💻 cs.AI
cs.LO
keywords
basicepistemicintroductionlogicbeliefbriefchapterconcepts
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.