The Logic of Partial Information