1 subscribers · Four translations, and what each keeps or breaks: conditionals under Kratzer's restrictor, modal logic inside a probability space, consistency strength inside a reflection calculus, and Gödel's second theorem under a change of numbering
