Inquisitive Action Logic
This work provides a new logical framework for reasoning about agentive determination in multi-agent systems, which is of interest to logicians and researchers in multi-agent systems.
The paper introduces inquisitive action logic (InqAL), a multi-agent modal logic that extends traditional reasoning about action to capture not only what outcomes an agent can force but also what aspects of the outcome the agent determines. The logic is axiomatized, proven complete and decidable via the finite model property, and a representation theorem for actual effectivity functions is established.
We introduce inquisitive action logic, InqAL, a multi-agent modal logic for reasoning about action. While traditional approaches focus on what properties of the outcome an agent can force, InqAL also captures what aspects of the outcome an agent determines through their actions. As we argue, such claims of agentive determination are naturally analyzed as modal claims involving questions. Technically, InqAL is a multi-agent extension of inquisitive neighborhood logic based on concurrent game structures. With respect to statements, it is expressively equivalent to the individual-agent fragment of the socially friendly coalition logic recently proposed by Goranko and Enqvist. We present an axiomatization of InqAL and prove completeness and decidability via the finite model property. Along the way, we establish a representation theorem for actual effectivity functions, associating to an agent the sets of outcomes corresponding to their possible actions; we give exact conditions under which a multi-agent neighborhood frame arises from a concurrent game structure.