1. [1] Burgess, J. P., “A remark on Henkin sentences and their contraries,” Notre Dame Journal of Formal Logic, vol. 44 (2003), pp. 185–88.
2. [2] Caicedo, X., F. Dechesne, and T. M. V. Janssen, “Equivalence and quantifier rules for logic with imperfect information,” Logic Journal of the IGPL, vol. 17 (2009), pp. 91–129.
3. [3] Carlson, L. and J. Hintikka, “Conditionals, generic quantifiers, and other applications of subgames” pp. 179–214 in Game-Theoretical Semantics, edited by E. Saarinen, vol. 5 of Synthese Language Library, Reidel, Dordrecht, Netherlands, 1978.
4. [4] Enderton, H. B., “Finite partially-ordered quantifiers,” Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 16 (1970), pp. 393–97.
5. [5] Figueira, S., D. Gorín, and R. Grimson, “On the formal semantics of IF-like logics,” Journal of Computer and System Sciences, vol. 76 (2010), pp. 333–46.