12 citations · 13 across the 4 of their papers we have counts for
1 paper · 1 filter
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…