- Tytuł:
- Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödels Ontological Argument
- Autorzy:
-
Benzmüller, Christoph
Fuenmayor, David - Tematy:
-
computational metaphysics
ontological argument
higher-order modal logic
higher-order logic
automated reasoning
modal ultrafilters - Pokaż więcej
- Data publikacji:
- 2020
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Dostawca treści:
- Biblioteka Nauki
Artykuł