Formalised logic equivalent of self fulfilling prophecy?

Question

For example

Will this query be answered correctly?

Yes

Has this query been answered correctly?

A.

Yes, therefore "yes" is the correct answer, therefore this query has been answered correctly.

B.

No, therefore "no" is the correct answer, therefore this query has been answered incorrectly.

Either assumption is verified.

What is the technical term for this phenomenon, and what formalised studies exist on it? The closest I can find is the informal concept of "self fulfilling prophecy."

Answer 1

Note that if you condense each question-answer pair into one completed proposition, you get self-referential statements such as P = "P is true". Aside from the trickiness associated with such statements, you're not so much arguing about the correctness of P, but the internal consistency of the correctness or incorrectness of P, which in each case is an example of circular reasoning.