1. [1] Bloom, S. L., “A completeness theorem for ‘theories of kind $W$’,” Studia Logica, vol. 27 (1971), pp. 43–56.
2. [2] Bloom, S. L., and R. Suszko, “Investigations into the sentential calculus with identity,” Notre Dame Journal of Formal Logic, vol. 13 (1972), pp. 289–308.
3. [3] Brown, D. J., R. Suszko, and S. L. Bloom, “Abstract logics,” Dissertationes Mathematicae, vol. 102 (1973), pp. 9–42.
4. [4] Fagin, R., “Generalized first-order spectra and polynomial-time recognizable sets,” pp. 43–73 in Complexity of Computation (New York, 1973), edited by R. Karp, vol. 7 of SIAM-AMS Proceedings, American Mathematical Society, Providence, 1974.
5. [5] Golińska-Pilarek, J., “Number of non-Fregean sentential logics that have adequate models,” Mathematical Logic Quarterly, vol. 52 (2006), pp. 439–43.