See section 2 of this Agent Foundations research program and citations for discussion of the problems of logical uncertainty, logical counterfactuals, and the Löbian obstacle. Or you can read this friendly overview. Gödel-Löb provability logic has been used here.
I don’t know of any application of set theory to agent foundations research. (Like large cardinals, forcing, etc.)
See section 2 of this Agent Foundations research program and citations for discussion of the problems of logical uncertainty, logical counterfactuals, and the Löbian obstacle. Or you can read this friendly overview. Gödel-Löb provability logic has been used here.
I don’t know of any application of set theory to agent foundations research. (Like large cardinals, forcing, etc.)
Thank you!