Intensional logics without iterative axioms
scientific article; zbMATH DE number 3463612