Logical omniscience states that the knowledge set of ordinary rational agents is closed for its logical consequences. Although epistemic logicians in general judge this principle unrealistic, there no consensus on how it should be restrained. The challenge conceptual: we must find adequate criteria separating obvious consequences (consequences which closure certainly holds) from non-obvious one...
