Fuenmayor, David; Freie Universität Berlin > Philosophy
Benzmüller, Christoph ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Steen, Alexander ; Freie Universität Berlin > Mathematik und Informatik
Wsinieswki, Max; Freie Universität Berlin > Mathematik und Informatik
External co-authors :
yes
Language :
English
Title :
The Virtues of Automated Theorem Proving in Metaphysics --- A Case Study: E. J. Lowe's Modal Ontological Argument
Publication date :
2017
Event name :
The 2nd World Congress on Logic and Religion
Event place :
Warsaw, Poland
Event date :
June 18-22, 2017
Audience :
International
Main work title :
The 2nd World Congress on Logic and Religion -- Book of Abstracts
Publisher :
Instytut Filozofii Uniwersytetu Warszawskiego, Warsaw, Poland