1. Bencivenga, E.: Free Logics, in D. Gabbay and F. Guenthner (eds), Handbook of Philosophical Logic, Vol. III, Kluwer Academic Publishers, Dordrecht, 1986, pp. 373–426.
2. Bencivenga, E., Lambert, J. K. and van Fraassen, B. C.: Logic, Bivalence, and Denotation, Ridgeview, Atascadero, Calif., 1991.
3. Chang, C. and Keisler, H.: Model Theory, 3rd edn, Elsevier North-Holland, Amsterdam and New York, 1990.
4. Cocchiarella, N.: A logic of possible and actual objects, J. Symbolic Logic 31 (1996), 388.
5. Feferman, S.: Logic for termination and correctness of functional programs, in Y. N. Moschovakis (ed.), Logic from Computer Science, Springer-Verlag, Berlin and New York, 1992, pp. 95–127.