by David Fuenmayor, Christoph Benzmüller
Reference:
Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument (David Fuenmayor, Christoph Benzmüller), In Archive of Formal Proofs, pp. 1--19, 2017. (Note: data publication)
Bibtex Entry:
@article{J37,
Author = {David Fuenmayor and Christoph Benzm{\"u}ller},
Journal = {Archive of Formal Proofs},
Keywords = {own, Automated Reasoning, Interactive Proof,
Ontology Reasoning, Higher Order Logic,
Computational Metaphysics},
Addendum = {Note: data publication},
Title = {{Computer-assisted Reconstruction and Assessment of
E. J. Lowe's Modal Ontological Argument}},
Url =
{https://www.isa-afp.org/entries/Lowe_Ontological_Argument.html},
Year = 2017,
Pages = {1--19},
}