Pages that link to "Item:Q5213641"
From MaRDI portal
The following pages link to On Strongly First-Order Dependencies (Q5213641):
Displaying 12 items.
- Safe dependency atoms and possibility operators in team semantics (Q2029599) (← links)
- Doubly strongly first order dependencies (Q2148777) (← links)
- A parameterized view on the complexity of dependence logic (Q2151403) (← links)
- Separation logic and logics with team semantics (Q2172820) (← links)
- On elementary logics for quantitative dependencies (Q2172823) (← links)
- Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016) (← links)
- Axiomatizations of team logics (Q2636536) (← links)
- (Q3384878) (← links)
- On the complexity of team logic and its two-variable fragment (Q5005127) (← links)
- (Q5020523) (← links)
- CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES (Q5195061) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)
