Question about the Tiling Agents subfield, based on a weird idea that hit me when I was walking around.

Is the reason for all the invocations of Model Theory (rather than computability or proof-theoretic approaches to logic) the notion that the agent uses its source code, or the "source code" of its child, as a model in which it interprets its ability to prove (certainly or probabilistically) trust in the child agent?