#Kripke semantics may be the #logic I need for #Jaakko or other incarnations of “principled #APL”. #array-languages
on 02026-01-06#Kripke’s “Semantical Considerations on Modal #Logic”, archived from the Saul Kripke Center website.
on 02026-01-06#Kripke’s mindblowing essay about how we can ever name anything or know anything or identify anything, rejecting descriptivism. Is Hesperus Phosphorus in all possible worlds? #metaphysics
on 02026-01-06“"Kripke" is the governance infrastructure for AGI. Fast. Provable. Auditable.” #AI startup: “Kripke empowers humanity, to specify, monitor, and guarantee what intelligent systems must (and must not) do. From winning through AI to ensuring compliance with regulatory frameworks, Kripke guarantees it with infrastructure designed to codify, enforce, and audit AI behavior to ensure aligned outcomes across any domain.” #logic #startups
on 02025-11-05