Pages that link to "Item:Q1777372"

The following pages link to Natural deduction for first-order hybrid logic (Q1777372):

Displaying 22 items.

• The Fitch-Church paradox and first order modal logic (Q320315) (← links)
• Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
• Natural deduction, hybrid systems and modal logics (Q659458) (← links)
• Intuitionistic hybrid logic: introduction and survey (Q764256) (← links)
• Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere (Q817688) (← links)
• Axioms for classical, intuitionistic, and paraconsistent hybrid logic (Q851196) (← links)
• Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
• A proof-theoretic study of the correspondence of hybrid logic and classical logic (Q1006454) (← links)
• Two natural deduction systems for hybrid logic: A comparison (Q1424966) (← links)
• Natural deduction for first-order hybrid logic (Q1777372) (← links)
• A Hilbert-style axiomatisation for equational hybrid logic (Q2255232) (← links)
• Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) (Q3058454) (← links)
• Adding Intensional Machinery to Hybrid Logic (Q3520240) (← links)
• Coalgebraic Hybrid Logic (Q3617726) (← links)
• Why does the proof-theory of hybrid logic work so well? (Q3647283) (← links)
• A natural deduction approach to dynamic logic (Q4647578) (← links)
• Natural Deduction for Hybrid Logic (Q4820470) (← links)
• (Q4874650) (← links)
• Hybrid Deduction-Refutation Systems for FDE-Based Logics (Q5021989) (← links)
• (Q5039098) (← links)
• (Q5465434) (← links)
• Encoding hybridized institutions into first-order logic (Q5741578) (← links)