The Five Axioms of Existence

Formalized in Kripke-frame modal logic, grounding what it means to exist

Axioms of Existence