Pages that link to "Item:Q764257"

The following pages link to Sequent calculi and decidability for intuitionistic hybrid logic (Q764257):

Displayed 3 items.

• Intuitionistic hybrid logic: introduction and survey (Q764256) ‎ (← links)
• On graphs for intuitionistic modal logics (Q1744424) ‎ (← links)
• Proofs and countermodels in non-classical logics (Q2254557) ‎ (← links)