SMK comments on Self-Referential Probabilistic Logic Admits the Payor’s Lemma

[SMK]

Could you perhaps say something about what a Kripkean semantics would look like for your logic?