EPISTEMIC LOGIC
Logics of knowledge and belief, in which the operators read "agent i knows that" or "agent i believes that," interpreted over epistemic accessibility relations. Multi-agent settings add group notions—common and distributed knowledge—and the dynamics of how information changes.
Entries are organized from static to dynamic. Static systems treat individual knowledge and belief (S5, KD45), awareness, plausibility, and common knowledge. Dynamic systems treat information change: public announcement, action-model and dynamic epistemic logic, dynamic doxastic logic, and belief revision. Interface entries connect knowledge to time (epistemic-temporal, temporal logic of knowledge), to justification, to topology, and to probability.