Annika Kanckos. Intuitionistic Derivability in Anderson's Variant of the Ontological Argument. In Christoph Benzmüller, Jens Otten, editors, Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), Oxford, UK, July 18, 2018. Volume 2095 of CEUR Workshop Proceedings, pages 46-63, CEUR-WS.org, 2022. [doi]
Abstract is missing.