The following pages link to (Q3509069):
Displaying 8 items.
- Hybrid logic meets IF modal logic (Q1047800) (← links)
- IF modal logic and classical negation (Q2016064) (← links)
- Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications (Q3299589) (← links)
- (Q4690170) (← links)
- ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC (Q4928773) (← links)
- Equivalence Criteria for Compositional IF Modal Logics (Q4982119) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- (Q5354747) (← links)