E
pistemic_
L
ogic
Maximal_Consistent_Sets
Epistemic_Logic