Abstract:
We propose logic for describing the interaction between knowledge, preference, and the freedom to act, and their interactions with the norms of a priori and a posteriori rationality, which we have argued for in previous work. We then apply it to strategic games to characterise dominance and Nash equilibrium.