On constructing a logic for the notion of complete and immediate formal grounding
scientific article; zbMATH DE number 6853393
scientific article