Pages that link to "Item:Q3299589"

The following pages link to Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications (Q3299589):

Displaying 11 items.

• Hybrid logic meets IF modal logic (Q1047800) (← links)
• Hintikka's independence-friendly logic meets Nelson's realizability (Q1653658) (← links)
• Decidability of some classes of modal logic (Q1873248) (← links)
• IF modal logic and classical negation (Q2016064) (← links)
• Mixed partition functions and exponentially bounded edge-connection rank (Q2031486) (← links)
• Decidability of order-based modal logics (Q2361346) (← links)
• Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies (Q2453581) (← links)
• (Q3574473) (← links)
• ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC (Q4928773) (← links)
• (Q4933592) (redirect page) (← links)
• Independence-friendly logic without Henkin quantification (Q5918342) (← links)