12 citations · 13 across the 2 of their papers we have counts for
2 papers
math.LO2008★ 1 cited
Perfect IFG-formulas
Allen L. Mann
IFG logic is a variant of the independence-friendly logic of Hintikka and Sandu. We answer the question: ``Which IFG-formulas are equivalent to ordinary first-order formulas?'' We…
math.LO2007★ 12 cited
Independence-friendly cylindric set algebras
Allen L. Mann
Independence-friendly logic is a conservative extension of first-order logic that has the same expressive power as existential second-order logic. In her Ph.D. thesis, Dechesne int…