Pages that link to "Item:Q523303"
From MaRDI portal
The following pages link to Computer-assisted analysis of the Anderson-Hájek ontological controversy (Q523303):
Displaying 10 items.
- Logic and religion (Q523289) (← links)
- Computer-assisted analysis of the Anderson-Hájek ontological controversy (Q523303) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- Variants of Gödel's ontological proof in a natural deduction calculus (Q2363503) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- Higher-Order Modal Logics: Automation and Applications (Q2970308) (← links)
- Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments (Q3305694) (← links)
- Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics (Q3455772) (← links)
- THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF (Q5027671) (← links)
- (Q5869572) (← links)
