The logic of free acts and the powers of God (Q1081597)

In this paper I provide a formalization of the logic of free acts, for which I obtain a decision procedure by means of a reduction to S5. Although this formalization has independent interest, I provide it chiefly for the sake of an application to philosophical theology, namely an argument to show that a certain characterization of the powers of God is coherent, and, moreover, compatible with God's giving to some other agent a power to act freely. (Here, note, I'm not relying on any purported reconciliation of free will and predestination: I believe that free acts are not predestined.)