Pavel Naumov and Jia Tao
The article introduces a modal logic for reasoning about combined effect of economic policies imposed on a group of rational agents. Modalities in this language are labeled by policies applied to the players in a strategic game. The resulting logical system allows to reason about properties that are true in all Nash equilibria of the game modified by a specific policy. The main technical result is the completeness theorem for the proposed logical system. [pdf]