This is unlike the situation with A and O, where the agent can’t just perform action A, since it’s not defined in the way the agent knows how to perform (even though A is (provably) equivalent to one of the constants, the agent can’t prove that for any given constant).
It might be clearer to maintain the distinction between a constant symbol c and the element v(c), in the domain of discourse, assigned to c by the interpretation valuation v.
For example, I found the quote above confusing, but I think that you meant “This is unlike the situation with v(A) and v(O), where the agent can’t just perform action v(A), since it’s not defined in the way the agent knows how to perform (even though v(A) is (provably, in the metalogic) equal to the interpretation of one of the constants, the agent can’t prove that for any given constant).”
It might be clearer to maintain the distinction between a constant symbol c and the element v(c), in the domain of discourse, assigned to c by the interpretation valuation v.
For example, I found the quote above confusing, but I think that you meant “This is unlike the situation with v(A) and v(O), where the agent can’t just perform action v(A), since it’s not defined in the way the agent knows how to perform (even though v(A) is (provably, in the metalogic) equal to the interpretation of one of the constants, the agent can’t prove that for any given constant).”