Switch to: References

Citations of:

Automating Leibniz’s Theory of Concepts

In Amy P. Felty & Aart Middeldorp (eds.), Automated Deduction – CADE 25: Proceedings of the 25th International Conference on Automated Deduction (Lecture Notes in Artificial Intelligence: Volume 9195), Berlin: Springer. Dordrecht: Springer. pp. 73-97 (2015)

Add citations

You must login to add citations.
  1. Can Computers Help to Sharpen Our Understanding of Ontological Arguments?Christoph Benzmüller & David Fuenmayor - 2018 - In Mathematics and Reality, Proceedings of the 11th All India Students' Conference on Science Spiritual Quest, 6-7 October, 2018, IIT Bhubaneswar, Bhubaneswar, India. India: The Bhaktivedanta Institute. pp. 195226.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic.Fuenmayor David & Benzmüller Christoph - 2017 - In KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI. Cham, Switzerland: Springer International Publishing.
    A shallow semantic embedding of an intensional higher-order modal logic in Isabelle/HOL is presented. IHOML draws on Montague/Gallin intensional logics and has been introduced by Melvin Fitting in his textbook Types, Tableaus and Gödel’s God in order to discuss his emendation of Gödel’s ontological argument for the existence of God. Utilizing IHOML, the most interesting parts of Fitting’s textbook are formalized, automated and verified in the Isabelle/HOL proof assistant. A particular focus thereby is on three variants of the ontological argument (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark