epistemic logic

Short definition from Wiktionary

Noun

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