Pages that link to "Item:Q1956375"
From MaRDI portal
The following pages link to Epistemic operators in dependence logic (Q1956375):
Displayed 14 items.
- Approximation and dependence via multiteam semantics (Q1783737) (← links)
- Safe dependency atoms and possibility operators in team semantics (Q2029599) (← links)
- Doubly strongly first order dependencies (Q2148777) (← links)
- On the expressive power of TeamLTL and first-order team logic over hyperproperties (Q2148802) (← links)
- Separation logic and logics with team semantics (Q2172820) (← links)
- A simple logic of functional dependence (Q2240545) (← links)
- Dynamic Logics of Imperfect Information: From Teams and Games to Transitions (Q3299581) (← links)
- (Q3384878) (← links)
- LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE (Q4961740) (← links)
- Remarks on Compositionality (Q5213643) (← links)
- Supervenience, Dependence, Disjunction (Q5215498) (← links)
- SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION (Q5241230) (← links)
- UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC (Q5737961) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)