Quantified modal logic and self-reference
scientific article; zbMATH DE number 4033700