Omniscience: From a Logical Point of View