The following pages link to Logics with Multiteam Semantics (Q5034235):
Displaying 16 items.
- Propositional team logics (Q526967) (← links)
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information (Q645985) (← links)
- Probabilistic team semantics (Q1647487) (← links)
- Approximation and dependence via multiteam semantics (Q1783737) (← links)
- On the Presburger fragment of logics with multiteam semantics (Q2172824) (← links)
- Enumerating teams in first-order team logics (Q2172832) (← links)
- Approximation and Dependence via Multiteam Semantics (Q2807084) (← links)
- Polyteam semantics (Q5140328) (← links)
- (Q5155675) (← links)
- A Van Benthem Theorem for Modal Team Semantics (Q5351963) (← links)
- (Q5376653) (← links)
- Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals (Q5918795) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)
- Strongly first order, domain independent dependencies: the union-closed case (Q6160748) (← links)
- Temporal team semantics revisited (Q6649479) (← links)
- Multiteam semantics for interventionist counterfactuals: probabilities and causation (Q6655115) (← links)