2000 character limit reached
An Introduction to Logics of Knowledge and Belief
Published 3 Mar 2015 in cs.AI and cs.LO | (1503.00806v1)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.
