Pages that link to "Item:Q5925562"
From MaRDI portal
The following pages link to Complexity thresholds in inclusion logic (Q5925562):
Displaying 6 items.
- Modal Inclusion Logic: Being Lax is Simpler than Being Strict (Q2946343) (← links)
- Satisfiability of Modal Inclusion Logic (Q4972171) (← links)
- Tractability Frontier of Data Complexity in Team Semantics (Q5056358) (← links)
- Model checking and validity in propositional and modal inclusion logics (Q5213388) (← links)
- Logics with probabilistic team semantics and the Boolean negation (Q6545573) (← links)
- Computing repairs under functional and inclusion dependencies via argumentation (Q6630184) (← links)