The Logic of Knowing