The following pages link to (Q3574473):
Displaying 15 items.
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- Perfect IFG-formulas (Q1001372) (← links)
- Hybrid logic meets IF modal logic (Q1047800) (← links)
- Hintikka's independence-friendly logic meets Nelson's realizability (Q1653658) (← links)
- General models and entailment semantics for independence logic (Q1949170) (← links)
- Expressivity of imperfect information logics without identity (Q1956377) (← links)
- IF modal logic and classical negation (Q2016064) (← links)
- Semantic games with chance moves revisited: from IF logic to partial logic (Q2441754) (← links)
- How to Lewis a Kripke-Hintikka (Q2442134) (← links)
- Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies (Q2453581) (← links)
- A Logical Approach to Context-Specific Independence (Q2820693) (← links)
- Extended semantics and inference for the Independent Choice Logic (Q3653144) (← links)
- Equivalence Criteria for Compositional IF Modal Logics (Q4982119) (← links)
- Supervenience, Dependence, Disjunction (Q5215498) (← links)
- Independence-friendly logic without Henkin quantification (Q5918342) (← links)
