epistemic logic

Noun

 * 1) Any of at least two subfields of logic concerned with epistemic principles; thus:
 * , a subfield of modal logic that is concerned with reasoning about knowledge.
 * , a logical framework dealing with knowledge and information change.