This research is part of a larger effort to build machine-based tools for developing scientific theories. In analogy with the research process in empirical research, we describe a logical cycle of theory development: (1) starting with an informal version of a theory, (2) then moving to its...

It has been suggested that players often produce simplified and/or misspecified mental models of strategic decisions [Kreps, D., 1990. Game Theory and Economic Modeling. Oxford Univ. Press, Oxford]. We submit that the relational structure of players' preferences in a game is a source of...