12 citations · 13 across the 4 of their papers we have counts for
4 papers
A logical analysis of Monty Hall and Sleeping Beauty
Allen L. Mann, Ville Aarnio
Hintikka and Sandu's independence-friendly (IF) logic is a conservative extension of first-order logic that allows one to consider semantic games with imperfect information. In the…
"Iff" is not expressible in independence-friendly logic
Allen L. Mann
Ordinary first-order logic has the property that two formulas ϕand ψhave the same meaning in a structure if and only if the formula ``ϕiff ψ'' is true in the structure. We prove th…
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…
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…