Pages that link to "Item:Q3061280"

The following pages link to Multimodal and intuitionistic logics in simple type theory (Q3061280):

Displaying 13 items.

• The higher-order prover \textsc{Leo}-II (Q287283) (← links)
• Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
• Embedding and automating conditional logics in classical higher-order logic (Q1935597) (← links)
• Quantified multimodal logics in simple type theory (Q1945702) (← links)
• Efficient local reductions to basic modal logic (Q2055845) (← links)
• Local is best: efficient reductions to modal logic \textsf{K} (Q2102930) (← links)
• Cut-elimination for quantified conditional logic (Q2363418) (← links)
• Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
• Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) (Q3058454) (← 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)
• Superposition with lambdas (Q5918381) (← links)
• Superposition with lambdas (Q5919500) (← links)