 To model a concept such as knowledge, we can use a modality ‘\(K\)’ for ‘knows that’, with semantics along the lines of ‘\(\Box\)’, quantifying over all epistemically possible worlds: worlds which are ways things could be, for all one knows, or given the information or evidence one has available. This is epistemic modal logic. (See the entry on  epistemic logic  for background material.)