Reasoning about Rational, but Not Logically Omniscient Agents