We consider systems of rational agents who act and interact in pursuit of their individual and collective objectives. We study and formalise the reasoning of an agent, or of an external observer, about the expected choices of action of the other agents based on their objectives, in order to assess the reasoner's ability, or expectation, to achieve their own objective. To formalize such reasoning we extend Pauly's Coalition Logic with three new modal operators of conditional strategic reasoning, thus introducing the Logic for Local Conditional Strategic Reasoning ConStR. We provide formal semantics for the new conditional strategic operators in concurrent game models, introduce the matching notion of bisimulation for each of them, prove bisimulation invariance and Hennessy-Milner property for each of them, and discuss and compare briefly their expressiveness. Finally, we also propose systems of axioms for each of the basic operators of ConStR and for the full logic.

翻译：我们考虑的是追求个人和集体目标而采取行动和互动的合理代理人制度。我们研究并正式确定代理人或外部观察员根据其他代理人的目标对预期的行动选择的推理,以便评估理智者实现自己目标的能力或期望。为了将这种推理正规化,我们将保利联盟逻辑与三个有条件战略推理的新模式操作者加以扩展,从而引入地方有条件战略解释逻辑。我们在同时的游戏模式中为新的有条件战略操作者提供正式的语义。我们提出对每一个代理人进行权衡的匹配概念,证明每个代理人的偏差和Hennnesy-Milner财产,并简短地讨论和比较其表达性。最后,我们还为ConStR的每一个基本操作者以及完整的逻辑提出理论体系。