Resource-Bounded Reasoning about Knowledge