own; Higher Order Logic; Higher Order Modal Logic; Universal Reasoning; Computational Metaphysics
Disciplines :
Philosophy & ethics
Author, co-author :
Kirchner, Daniel
Benzmüller, Christoph ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Zalta, Edward N.
External co-authors :
yes
Language :
English
Title :
Mechanizing Principia Logico-Metaphysica in Functional Type Theory (Extended Abstract)
Publication date :
2018
Event name :
AITP 2018
Event place :
Aussois, France
Event date :
from 25–03-2018 to 30-03-2018
Audience :
International
Main work title :
3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Book of Abstracts
