The following pages link to (Q3446107):
Displaying 50 items.
- A logical approach to context-specific independence (Q122510) (← links)
- On the finite and general implication problems of independence atoms and keys (Q269507) (← links)
- Propositional logics of dependence (Q278765) (← links)
- Reduction of database independence to dividing in atomless Boolean algebras (Q283121) (← links)
- Dependence logic with a majority quantifier (Q302214) (← links)
- A double team semantics for generalized quantifiers (Q302243) (← links)
- Structural completeness in propositional logics of dependence (Q334998) (← links)
- First-order logic formalisation of impossibility theorems in preference aggregation (Q373021) (← links)
- Axiomatizing first-order consequences in dependence logic (Q388209) (← links)
- Model-checking games for logics of imperfect information (Q391101) (← links)
- Axiomatizing first-order consequences in independence logic (Q466449) (← links)
- Complexity of two-variable dependence logic and IF-logic (Q476186) (← links)
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- A sharing-based approach to supporting adaptation in service compositions (Q488324) (← links)
- Marketing impact on diffusion in social networks (Q504513) (← links)
- Complexity of validity for propositional dependence logics (Q515658) (← links)
- Propositional team logics (Q526967) (← links)
- Equilibrium semantics of languages of imperfect information (Q636301) (← links)
- Dependence of variables construed as an atomic formula (Q636322) (← links)
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information (Q645985) (← links)
- Hypergraphs of multiparty secrets (Q656828) (← links)
- On definability in dependence logic (Q735407) (← links)
- From IF to BI. A tale of dependence and separation (Q833040) (← links)
- Upwards closed dependencies in team semantics (Q897651) (← links)
- Everything else being equal: a modal logic for ceteris paribus preferences (Q1029829) (← links)
- Hybrid logic meets IF modal logic (Q1047800) (← links)
- Hintikka's independence-friendly logic meets Nelson's realizability (Q1653658) (← links)
- Cooperation in games and epistemic readings of independence-friendly sentences (Q1689283) (← links)
- A finite axiomatization of G-dependence (Q1689285) (← links)
- Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic (Q1693039) (← links)
- Questions as information types (Q1708968) (← links)
- A logical analysis of Monty Hall and Sleeping Beauty (Q1756594) (← links)
- Approximation and dependence via multiteam semantics (Q1783737) (← links)
- Dependence and independence (Q1956372) (← links)
- Expressing second-order sentences in intuitionistic dependence logic (Q1956373) (← links)
- Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information (Q1956374) (← links)
- Epistemic operators in dependence logic (Q1956375) (← links)
- Expressivity of imperfect information logics without identity (Q1956377) (← links)
- Complexity results for modal dependence logic (Q1956378) (← links)
- Coherence and computational complexity of quantifier-free dependence logic formulas (Q1956380) (← links)
- Compositional natural language semantics using independence friendly logic or dependence logic (Q1956381) (← links)
- Editorial introduction to the special issue: Dependence and independence in logic (Q1956382) (← links)
- Dependences in strategy logic (Q1987514) (← links)
- Complexity of syntactical tree fragments of independence-friendly logic (Q2003922) (← links)
- IF modal logic and classical negation (Q2016064) (← links)
- Safe dependency atoms and possibility operators in team semantics (Q2029599) (← links)
- Team semantics for interventionist counterfactuals: observations vs. interventions (Q2037298) (← links)
- Characterizing counterfactuals and dependencies over (generalized) causal teams (Q2080697) (← links)
- The implication problem for functional dependencies and variants of marginal distribution equivalences (Q2103913) (← links)
- Category-theoretic structure for independence and conditional independence (Q2130599) (← links)
