Pages that link to "Item:Q1935597"

The following pages link to Embedding and automating conditional logics in classical higher-order logic (Q1935597):

Displaying 4 items.

• Cut-elimination for quantified conditional logic (Q2363418) (← links)
• Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics (Q3455772) (← links)
• (Q5091146) (← links)
• Conditional normative reasoning as a fragment of HOL (Q6650731) (← links)