Sequential reflexive logics with noncontingency operator
scientific article; zbMATH DE number 1928345