Epistemic logic is a branch of modal logic that focuses on the representation and reasoning about knowledge and beliefs. In epistemic logic, modalities are used to express knowledge (often symbolized as "K") and belief (often symbolized as "B"). The basic idea is to provide a formal framework for discussing what agents know or believe about a particular situation or world.
New to topics? Read the docs here!