There's too much jargon here for me to follow what you're saying. I'm not sure what you mean by "box operator" or "modern modal versions of the ontological argument", nor do I know what Kant's objection is.