@inproceedings{R74,
  Author =	 {Benzm{\"u}ller, Christoph},
  Title =	 {Computational Metaphysics: New Insights on
                  {G{\"o}del's} Ontological Argument and Modal
                  Collapse},
  Editor =	 {Srecko Kovac and Kordula Swietorzecka},
  Booktitle =	 {Formal Methods and Science in Philosophy III,
                  Informal Proceedings},
  Year =	 2019,
  Pages =	 {3--4},
  Adress =	 {Dubrovnik, Croatia},
  Url =
                  {http://christoph-benzmueller.de/papers/2019-FMSPh-Proceedings.pdf},
}

{"_id":"Akc39LjBsJANrtSys","bibbaseid":"benzmller-computationalmetaphysicsnewinsightsongdelsontologicalargumentandmodalcollapse-2019","author_short":["Benzmüller, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Benzmüller"],"firstnames":["Christoph"],"suffixes":[]}],"title":"Computational Metaphysics: New Insights on Gödel's Ontological Argument and Modal Collapse","editor":[{"firstnames":["Srecko"],"propositions":[],"lastnames":["Kovac"],"suffixes":[]},{"firstnames":["Kordula"],"propositions":[],"lastnames":["Swietorzecka"],"suffixes":[]}],"booktitle":"Formal Methods and Science in Philosophy III, Informal Proceedings","year":"2019","pages":"3–4","adress":"Dubrovnik, Croatia","url":"http://christoph-benzmueller.de/papers/2019-FMSPh-Proceedings.pdf","bibtex":"@inproceedings{R74,\n Author =\t {Benzm{\\\"u}ller, Christoph},\n Title =\t {Computational Metaphysics: New Insights on\n {G{\\\"o}del's} Ontological Argument and Modal\n Collapse},\n Editor =\t {Srecko Kovac and Kordula Swietorzecka},\n Booktitle =\t {Formal Methods and Science in Philosophy III,\n Informal Proceedings},\n Year =\t 2019,\n Pages =\t {3--4},\n Adress =\t {Dubrovnik, Croatia},\n Url =\n {http://christoph-benzmueller.de/papers/2019-FMSPh-Proceedings.pdf},\n}\n\n","author_short":["Benzmüller, C."],"editor_short":["Kovac, S.","Swietorzecka, K."],"key":"R74","id":"R74","bibbaseid":"benzmller-computationalmetaphysicsnewinsightsongdelsontologicalargumentandmodalcollapse-2019","role":"author","urls":{"Paper":"http://christoph-benzmueller.de/papers/2019-FMSPh-Proceedings.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":[],"search_terms":["computational","metaphysics","new","insights","del","ontological","argument","modal","collapse","benzmüller"],"title":"Computational Metaphysics: New Insights on Gödel's Ontological Argument and Modal Collapse","year":2019}