Epistemic logic

Epistemic logic is a type of logic that is used to figure out how reliable different pieces of information are. It is like a way of knowing which information is true and which information is not true. To decide which pieces of information are true and which are not, epistemic logic looks at how likely it is that the information may be true. For example, if a friend tells you that the sky is green, you may use epistemic logic to decide whether or not your friend's information is true. You may decide that it is likely false because skies are usually not green.