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

David Fuenmayor, Christoph Benzmller

Browse the full KI paper archive.