Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument (bibtex)
by Christoph Benzmüller, David Fuenmayor
Reference:
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument (Christoph Benzmüller, David Fuenmayor), In Bulletin of the Section of Logic, Department of Logic, University of Lodz, volume 49, number 2, pp. 127-148, 2020.
Bibtex Entry:
@article{J52,
  Author =	 {Christoph Benzm\"uller and David Fuenmayor},
  Journal =	 {Bulletin of the Section of Logic},
  Publisher =    {Department of Logic, University of Lodz},
  Keywords =	 {own, Ontological Argument, Computational
                  Metaphysics, Higher Order Logic, Semantic Embedding,
                  Modal Logics, Automated Reasoning, Ontology
                  Reasoning},
  Title =	 {Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of {G\"odel's} Ontological Argument},
  OPTUrl =          {https://czasopisma.uni.lodz.pl/bulletin/},
  Year =	 2020,
  Volume =       {49},
  Number =        {2},
  Doi =          {10.18778/0138-0680.2020.08},
  OPTAddendum =	 {In print, preprint: \url{https://www.researchgate.net/publication/336742445}},
  Pages =        {127-148}, 
}