Four Flavors of EntailmentIn the research seminar of the LogiCS doctoral program, Cyberspace, 16 March, 2021 [ slides ]