Pages that link to "Item:Q1653658"

The following pages link to Hintikka's independence-friendly logic meets Nelson's realizability (Q1653658):

Displaying 2 items.

• About effective versions of game theoretical semantics for first-order logic (Q2003259) (← links)
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) (Q2421517) (← links)