[mikhailfranco]

This is Game Theoretic Semantics. See Hintikka's Principles of Mathematics Revisited and his framing of Independence Friendly Logic:

https://plato.stanford.edu/entries/logic-if/