Pages that link to "Item:Q1777372"

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

Displaying 7 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)
• 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)
• A proof-theoretic study of the correspondence of hybrid logic and classical logic (Q1006454) (← links)
• Natural deduction for first-order hybrid logic (Q1777372) (← links)