Matteo Capucci on Nostr: nprofile1q…vamew it's Beth's *semantics*. Kripke's semantics is sheaf semantics for ...

nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqulfpffdgvk9f09te46a7ckukfsp3vek5urnfn2ptxskv6sw9tuvsyvamew (nprofile…amew) it's Beth's *semantics*. Kripke's semantics is sheaf semantics for the trivial topology, Beth's semantics is for the canonical (joinlty epi) one.