Pages that link to "Item:Q851196"

The following pages link to Axioms for classical, intuitionistic, and paraconsistent hybrid logic (Q851196):

Displaying 4 items.

• Intuitionistic hybrid logic: introduction and survey (Q764256) (← links)
• Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic (Q2043815) (← links)
• Why does the proof-theory of hybrid logic work so well? (Q3647283) (← links)
• Logic talk (Q6180153) (← links)