Benzmüller C, Fuenmayor D. Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel’s Ontological Argument. B Sect Log. 2020;49(2):127–148. doi:10.18778/0138-0680.2020.08