Mühlenbeck, C.; Benzmüller, C. On the Maximality of Positive Properties and Modal Collapse in Variants of Gödel’s Ontological Proof for the Existence of God . LLP 2026, 1-21.