The following pages link to Propositional team logics (Q526967):
Displaying 25 items.
- Propositional logics of dependence (Q278765) (← links)
- Team semantics for interventionist counterfactuals: observations vs. interventions (Q2037298) (← links)
- Characterizing counterfactuals and dependencies over (generalized) causal teams (Q2080697) (← links)
- Propositional union closed team logics (Q2131275) (← links)
- On definability of team relations with \(k\)-invariant atoms (Q2172825) (← links)
- On intermediate inquisitive and dependence logics: an algebraic study (Q2172827) (← links)
- Iterated team semantics for a hierarchy of informational types (Q2172830) (← links)
- Enumerating teams in first-order team logics (Q2172832) (← links)
- Questions and dependency in intuitionistic logic (Q2176408) (← links)
- On the complexity of linear temporal logic with team semantics (Q2193280) (← links)
- Axiomatizations of team logics (Q2636536) (← links)
- Complexity of Propositional Logics in Team Semantic (Q4608724) (← links)
- LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE (Q4961740) (← links)
- On the complexity of team logic and its two-variable fragment (Q5005127) (← links)
- (Q5232899) (← links)
- The logic of lexical connectives (Q6054060) (← links)
- Modified numerals and split disjunction: the first-order case (Q6078201) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)
- Neglect-zero effects in dynamic semantics (Q6116770) (← links)
- Modal information logics: axiomatizations and decidability (Q6145035) (← links)
- Positive modal logic beyond distributivity (Q6179826) (← links)
- Esakia duals of regular Heyting algebras (Q6183438) (← links)
- An Acceptance Semantics for Stable Modal Knowledge (Q6199619) (← links)
- Modal knowledge for expressivists (Q6606842) (← links)
- Parameterized complexity of weighted team definability (Q6620025) (← links)
