Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument

Benzmüller, ChristophChristophBenzmüller0000-0002-3392-3093Fuenmayor, DavidDavidFuenmayor0000-0002-0042-45382022-08-172022-08-1720202449-836X0138-0680https://fis.uni-bamberg.de/handle/uniba/55164engComputer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argumentarticle10.18778/0138-0680.2020.08