%0 Journal Article
%A Benzmüller, Christoph
%A Fuenmayor, David
%T Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument
%J Bulletin of the Section of Logic
%D 2020
%V 49
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2020_49_2_a3/
%G en
%F BSL_2020_49_2_a3