 In formal epistemology, epistemic states are modelled in many different ways (see entry on  formal representations of belief).  Given an epistemic agent and a time \(t\), we might model her epistemic state at \(t\) using any of the following: