Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic

Fuenmayor, DavidDavidFuenmayor0000-0002-0042-4538Benzmüller, ChristophChristophBenzmüller0000-0002-3392-30932022-10-142022-10-142017978-3-319-67190-1978-3-319-67189-5https://fis.uni-bamberg.de/handle/uniba/55966engAutomating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logicconferenceobject10.1007/978-3-319-67190-1_9