The following pages link to (Q3086787):
Displayed 8 items.
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- Quantified multimodal logics in simple type theory (Q1945702) (← links)
- Cut-elimination for quantified conditional logic (Q2363418) (← links)
- Interacting with Modal Logics in the Coq Proof Assistant (Q3194730) (← links)
- Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics (Q3455772) (← links)
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (Q3541703) (← links)
- THF0 – The Core of the TPTP Language for Higher-Order Logic (Q3541725) (← links)
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic (Q5191100) (← links)