Epistemic Logic

Epistemic logic is the logic of knowledge and belief. It provides insight into the properties of individual knowers, has provided a means to model complicated scenarios involving groups of knowers and has improved our understanding of the dynamics of inquiry. (See http://plato.stanford.edu )

page
https://people.iut.ac.ir/en/aghaei/epistemic-logic