1. [12] Fine, K., For Some Proposition and So Many Possible Worlds, PhD thesis, University of Warwick, 1969, http://wrap.warwick.ac.uk/72219/.
2. [1] Antonelli, G. A., and R. H. Thomason, “Representability in second-order propositional poly-modal logic,” Journal of Symbolic Logic, vol. 67 (2002), pp. 1039–54.
3. [2] Barcan, R. C., “The identity of individuals in a strict functional calculus of second order,” Journal of Symbolic Logic, vol. 12 (1947), pp. 12–15.
4. [3] Belardinelli, F., and W. van der Hoek, “Epistemic quantified Boolean logic: expressiveness and completeness results,” in Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015), pp. 2748–54, 2015.
5. [4] Belardinelli, F., and W. van der Hoek, “A semantical analysis of second-order propositional modal logic,” in Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAA-16), pp. 886–92, 2016.