The following pages link to Propositional logics of dependence (Q278765):
Displayed 34 items.
- Structural completeness in propositional logics of dependence (Q334998) (← links)
- Propositional team logics (Q526967) (← links)
- Approximation and dependence via multiteam semantics (Q1783737) (← 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)
- Coherence in inquisitive first-order logic (Q2159932) (← links)
- On intermediate inquisitive and dependence logics: an algebraic study (Q2172827) (← links)
- Iterated team semantics for a hierarchy of informational types (Q2172830) (← links)
- Embedding causal team languages into predicate logic (Q2172831) (← links)
- Questions and dependency in intuitionistic logic (Q2176408) (← links)
- On the complexity of linear temporal logic with team semantics (Q2193280) (← links)
- A simple logic of functional dependence (Q2240545) (← links)
- Disjunction and existence properties in inquisitive first-order logic (Q2278839) (← links)
- A finite axiomatization of conditional independence and inclusion dependencies (Q2629853) (← links)
- Axiomatizations of team logics (Q2636536) (← links)
- A Multi-type Calculus for Inquisitive Logic (Q2820696) (← links)
- Complexity of Propositional Independence and Inclusion Logic (Q2946342) (← links)
- (Q3384064) (← links)
- LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE (Q4961740) (← links)
- INQUISITIVE BISIMULATION (Q5000255) (← links)
- Revisiting Semilattice Semantics (Q5027237) (← links)
- AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS (Q5046603) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- (Q5232899) (← links)
- (Q5376655) (← links)
- UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC (Q5737961) (← links)
- Diversity, dependence and independence (Q5918485) (← links)
- Parameterised complexity of model checking and satisfiability in propositional dependence logic (Q5918486) (← links)
- Complexity thresholds in inclusion logic (Q5925562) (← links)
- A logic of ``black box'' classifier systems (Q6103001) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)
- Modal information logics: axiomatizations and decidability (Q6145035) (← links)
- Esakia duals of regular Heyting algebras (Q6183438) (← links)