Meta-axioms and Complex Preferences in Evolving Logical Agents