Lowe_Ontological_Argument

MaRDI QIDQ53724swMATHFDO

Authors David Fuenmayor, Christoph Benzmüller

Publication date 21 September 2017

Official website https://www.isa-afp.org/entries/Lowe_Ontological_Argument.html

Cites work

• Computer-assisted analysis of the Anderson-Hájek ontological controversy
• Extending Sledgehammer with SMT solvers
• Isabelle/HOL. A proof assistant for higher-order logic
• Modal Logic as Metaphysics
• Nitpick: a counterexample generator for higher-order logic based on a relational model finder
• Quantified multimodal logics in simple type theory

Cited in

(1)

• Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments

This page was built for software: Lowe_Ontological_Argument