 Heytesbury’s analysis of epistemic statements encompasses the logical analysis of epistemic statements, inference rules for sentences containing epistemic operators, and rules for obligational games with epistemic statements, most of which are applied to solutions to  sophisms[24]  and instructions for obligational games. The underlying principles pertaining to the logical analysis of language and inference rules for epistemic statements will be addressed  below.[25]