The following pages link to (Q3574474):
Displaying 11 items.
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information (Q645985) (← links)
- An \(n\)-player semantic game for an \(n+1\)-valued logic (Q1005944) (← links)
- Epistemic operators in dependence logic (Q1956375) (← links)
- Safe dependency atoms and possibility operators in team semantics (Q2029599) (← links)
- Doubly strongly first order dependencies (Q2148777) (← links)
- Dynamic Logics of Imperfect Information: From Teams and Games to Transitions (Q3299581) (← links)
- (Q3384878) (← links)
- CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES (Q5195061) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- Supervenience, Dependence, Disjunction (Q5215498) (← links)
