Pages that link to "Item:Q5311767"

The following pages link to Higher-order semantics and extensionality (Q5311767):

Displaying 20 items.

• The higher-order prover \textsc{Leo}-II (Q287283) (← links)
• Analytic tableaux for higher-order logic with choice (Q438561) (← links)
• Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
• Kripke semantics for higher-order type theory applied to constraint logic programming languages (Q683712) (← links)
• PNL to HOL: from the logic of nominal sets to the logic of higher-order functions (Q714797) (← links)
• CERES in higher-order logic (Q716500) (← links)
• TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
• Quantified multimodal logics in simple type theory (Q1945702) (← links)
• Semantics of \textsc{OpenMath} and \textsc{MathML3} (Q1948675) (← links)
• Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
• Automating free logic in HOL, with an experimental application in category theory (Q2303232) (← links)
• Cut-elimination for quantified conditional logic (Q2363418) (← links)
• Variants of Gödel's ontological proof in a natural deduction calculus (Q2363503) (← links)
• Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
• Agent-Based HOL Reasoning (Q2819202) (← links)
• Higher-Order Modal Logics: Automation and Applications (Q2970308) (← links)
• Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) (Q3058454) (← 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)
• Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. (Q5875415) (← links)