 In a point related to the closed-off construction, it was observed by Feferman (1984) that if we are careful about negation, we can dispense with \(\mathcal{A}\) altogether in the Kripke construction. Thus, the construction can be done without any implicit appeal to many-valued logic. Related ways of thinking about Kripke’s construction are discussed by McGee (1991).