How are thubūt, taḥaqquq, wujūd and kawn treated here?

Realities Are Established: Truth, Correspondence and Essence

• Near-synonymous terms in this discussion
• They are four degrees of certainty
• They are four independent proofs of existence and nonexistence
• They are four basic genera of quiddity