94 citations · 253 across the 14 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
math.LO2015★ 14 cited
Structural completeness in propositional logics of dependence
Rosalie Iemhoff, Fan Yang
In this paper we prove that three of the main propositional logics of dependence (including propositional dependence logic and inquisitive logic), none of which is structural, are…
math.LO2015★ 7 cited
Uniform Definability in Propositional Dependence Logic
Fan Yang
Both propositional dependence logic and inquisitive logic are expressively complete. As a consequence, every formula with intuitionistic disjunction or intuitionistic implication c…