Pages that link to "Item:Q1945702"
From MaRDI portal
The following pages link to Quantified multimodal logics in simple type theory (Q1945702):
Displaying 13 items.
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- Computer-assisted analysis of the Anderson-Hájek ontological controversy (Q523303) (← links)
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 (Q1694574) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- Cut-elimination for quantified conditional logic (Q2363418) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- Higher-Order Modal Logics: Automation and Applications (Q2970308) (← links)
- Interacting with Modal Logics in the Coq Proof Assistant (Q3194730) (← 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)
- (Q5091146) (← links)
- Computer-Supported Analysis of Arguments in Climate Engineering (Q5098745) (← links)
- Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument (Q5126209) (← links)
