Set-theoretic completeness for epistemic and conditional logic
scientific article; zbMATH DE number 1456914