博弈逻辑是博弈论与逻辑学相交叉的一门崭新的学科,它属于行动逻辑。博弈逻辑研究理性人在互动中的推理问题,局中人在进行预决策推理、自己得益最大化时往往会受到自身认知能力的限制,即局中人的有限理性。通常局中人的理性会受到博弈的信息、预决策标准和逻辑推理能力的限制。在完全信息静态博弈中,博弈的得益信息对于局中人都是共同知识,在此情形下,局中人的理性会受到他们的博弈知识背景的限制,如局中人的预决策标准,我们给出局中人的一些简单的预决策标准,并在我们的逻辑系统中给出它们的形式化表示。同时局中人理性往往还会受到逻辑推理能力的限制,它包括局中人能否得出推理结果和推理可支付资源限制两方面,我们在坚钦型系统中定义一个思考串的推理复杂度,用它来度量局中人的逻辑推理能力,并用它来捕获博弈逻辑中局中人逻辑推理的有限理性。