Kim, Yong-Dock

E-Mails 📧

moc.revan@yadretsey10

Entries

2026

Mechanized Metasemantics of Modal Necessity: Valuation Factorization and Modal Non-Collapse

by Kim, Yong-Dock

May 27

Formal Verification of Axiom-Free Gödelian Ontological Argument and Trinity Necessity Proof in Isabelle HOL

by Kim, Yong-Dock

Mar 17